setChildren(new Children(original)); } else if (!original.isLeaf() && (getChildren() != Children.LEAF)) { ((FilterNode.Children) getChildren()).changeOriginal(original);
((FilterNode.Children)getChildren()).changeOriginal( original );
((FilterNode.Children)getChildren()).changeOriginal( original );