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"));
}
}
private void selectSubstitutionGroup(Node node) {
if (node == null || !node.isSubstitutionGroupHeader()) {