--- old/src/share/classes/javax/swing/undo/StateEdit.java 2014-07-02 23:35:27.000000000 -0700 +++ new/src/share/classes/javax/swing/undo/StateEdit.java 2014-07-02 23:35:27.000000000 -0700 @@ -170,8 +170,8 @@ * Remove redundant key/values in state hashtables. */ protected void removeRedundantState() { - Vector uselessKeys = new Vector(); - Enumeration myKeys = preState.keys(); + Vector uselessKeys = new Vector<>(); + Enumeration myKeys = preState.keys(); // Locate redundant state while (myKeys.hasMoreElements()) {