jEdit 4.5.1

A mature and well-designed programmer's text editor written in Java.
2012-03-27