--- old/src/share/classes/javax/swing/JTree.java	2014-07-02 23:35:06.000000000 -0700
+++ new/src/share/classes/javax/swing/JTree.java	2014-07-02 23:35:06.000000000 -0700
@@ -4032,7 +4032,7 @@
         /**
          * Subclassed to load the children, if necessary.
          */
-        public Enumeration children() {
+        public Enumeration<TreeNode> children() {
             if(!loadedChildren)
                 loadChildren();
             return super.children();