}
}
}
private void removeChildren(DefaultMutableTreeNode node) {
EnumerationCopy copy = new EnumerationCopy(node.children());
while (copy.hasMoreElements()) {
disposeNode((DefaultMutableTreeNode)copy.nextElement());
}
node.removeAllChildren();
myTreeModel.nodeStructureChanged(node);
}