--- old/src/share/classes/javax/swing/text/AbstractDocument.java 2014-07-02 23:35:21.000000000 -0700
+++ new/src/share/classes/javax/swing/text/AbstractDocument.java 2014-07-02 23:35:21.000000000 -0700
@@ -2193,7 +2193,7 @@
* Enumeration
.
* @return the children of the receiver as an Enumeration
*/
- public abstract Enumeration> children();
+ public abstract Enumeration children();
// --- serialization ---------------------------------------------
@@ -2456,11 +2456,11 @@
* Enumeration
.
* @return the children of the receiver
*/
- public Enumeration children() {
+ public Enumeration children() {
if(nchildren == 0)
return null;
- Vector tempVector = new Vector(nchildren);
+ Vector tempVector = new Vector<>(nchildren);
for(int counter = 0; counter < nchildren; counter++)
tempVector.addElement(children[counter]);
@@ -2610,7 +2610,8 @@
* Enumeration
.
* @return the children of the receiver
*/
- public Enumeration> children() {
+ @Override
+ public Enumeration children() {
return null;
}