Powerful programmer\'s text editor written in Java
