update Editor.java