if (element_type != null && !element_type.isAbstract()) {
allTypes.add(self);
}
}
if (!allTypes.isEmpty()) {
DerivedTypesSelector selector = new DerivedTypesSelector(TreeComponent.this, node, allTypes);
selector.open(TreeStrings.get("Xml.DerivedTypes.Title"), TreeStrings.get("Xml.DerivedTypes.Caption"));
}
}