updating editor.java