Powerful programmer's text editor written in Java