A Java based text editor.