}
public void modify(Object element, String property, Object value) {
TableItem item = (TableItem)element;
UserDefinedEntry entry = (UserDefinedEntry)item.getData();
if(COLUMNS[0].equals(property)) {
entry.setFold(((Boolean)value).booleanValue());
item.setChecked(entry.isFold());
}
else {
entry.setCollapse(((Boolean)value).booleanValue());
item.setChecked(entry.isCollapse());
}
FoldingPlugin.getJavaDomain().getUserDefinedSettings().entryChanged(entry);
}