Simple Java text editor.