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

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