editor.java description