edit TextEditor.java
edit TextEditor.java