jEdit is a mature and well-designed programmer's text editor with over 9 years of development behind it. Written in Java, its has an extensible plugin architecture and is highly configurable and customizable.