Update TextEditor.java