@@ -4030,11 +4030,11 @@ } /** * Subclassed to load the children, if necessary. */ - public Enumeration children() { + public Enumeration<TreeNode> children() { if(!loadedChildren) loadChildren(); return super.children(); } }