Editor.java updated