Update UndoManager.java