A simple editor written in Java.