GUI-based Java text editor.