--- a/jdk/src/share/classes/javax/swing/JTree.java	Thu Jul 03 18:47:42 2014 +0400
+++ b/jdk/src/share/classes/javax/swing/JTree.java	Thu Jul 03 15:24:27 2014 -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();