jEdit 4.5.2

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