A Java text editor.