jEdit 4.1pre6 now available: Yay… I’ve been using a development version of 4.1pre6 for a while, glad to see things are moving along. As usual, if you need a good text editor, and haven’t yet tried jEdit, give it a try.