src/share/classes/javax/swing/undo/StateEdit.java

@@ -168,12 +168,12 @@
 
     /**
      * Remove redundant key/values in state hashtables.
      */
     protected void removeRedundantState() {
-        Vector<Object> uselessKeys = new Vector<Object>();
-        Enumeration myKeys = preState.keys();
+        Vector<Object> uselessKeys = new Vector<>();
+        Enumeration<Object> myKeys = preState.keys();
 
         // Locate redundant state
         while (myKeys.hasMoreElements()) {
             Object myKey = myKeys.nextElement();
             if (postState.containsKey(myKey) &&