A collaborative text editor written in Java.