src/share/classes/javax/swing/JTree.java

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