deleted:    src/texteditor/TextEditor.java