jEdit - Mature programmer's text editor