You might've noticed there haven't been any commits to the source tree
for a few weeks, and that I've been slow with replying to e-mails.
Please don't assume I've given up on jEdit!
I've been busy with University, as well as another coding project...
However there will be a 4.2pre6 around the middle of October, and a
4.2final before the end of the year.