src/share/classes/javax/swing/text/AbstractDocument.java

*** 2191,2201 ****
          /**
           * Returns the children of the receiver as an
           * <code>Enumeration</code>.
           * @return the children of the receiver as an <code>Enumeration</code>
           */
!         public abstract Enumeration<?> children();
  
  
          // --- serialization ---------------------------------------------
  
          private void writeObject(ObjectOutputStream s) throws IOException {
--- 2191,2201 ----
          /**
           * Returns the children of the receiver as an
           * <code>Enumeration</code>.
           * @return the children of the receiver as an <code>Enumeration</code>
           */
!         public abstract Enumeration<TreeNode> children();
  
  
          // --- serialization ---------------------------------------------
  
          private void writeObject(ObjectOutputStream s) throws IOException {
*** 2454,2468 ****
          /**
           * Returns the children of the receiver as an
           * <code>Enumeration</code>.
           * @return the children of the receiver
           */
!         public Enumeration<AbstractElement> children() {
              if(nchildren == 0)
                  return null;
  
!             Vector<AbstractElement> tempVector = new Vector<AbstractElement>(nchildren);
  
              for(int counter = 0; counter < nchildren; counter++)
                  tempVector.addElement(children[counter]);
              return tempVector.elements();
          }
--- 2454,2468 ----
          /**
           * Returns the children of the receiver as an
           * <code>Enumeration</code>.
           * @return the children of the receiver
           */
!         public Enumeration<TreeNode> children() {
              if(nchildren == 0)
                  return null;
  
!             Vector<TreeNode> tempVector = new Vector<>(nchildren);
  
              for(int counter = 0; counter < nchildren; counter++)
                  tempVector.addElement(children[counter]);
              return tempVector.elements();
          }
*** 2608,2618 ****
          /**
           * Returns the children of the receiver as an
           * <code>Enumeration</code>.
           * @return the children of the receiver
           */
!         public Enumeration<?> children() {
              return null;
          }
  
          // --- serialization ---------------------------------------------
  
--- 2608,2619 ----
          /**
           * Returns the children of the receiver as an
           * <code>Enumeration</code>.
           * @return the children of the receiver
           */
!         @Override
!         public Enumeration<TreeNode> children() {
              return null;
          }
  
          // --- serialization ---------------------------------------------