jEdit 4.5.0

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