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

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