Programmer's editor written in Java
