A text editor written in Java.