jEdit is a mature programmer’s text editor with hundreds (counting the time developing plugins) of person-years of development behind it._(pandora_application_port).png)
Source
This article is over 2 years old — the linked page may have changed, moved, or been taken over since then.