Powerfull programmer's text editor written in Java