Description:
jEdit is a mature programmer's text editor with hundreds (counting the time developing plugins) of person-years of development behind it. The jEdit core, together with a large collection of plugins is maintained by a world-wide developer team.