Add javac undo/redo/Memento