jEdit 4.0 development is moving along well. I have recently started writing a new document model, which will bring performance and memory usage improvements. There are also a lot of UI changes that improve the general jEdit experience. I plan on releasing a '4.0pre0 snapshot' in maybe a week's time; this will not be an official release, but rather something that plugin developers and daring users can try out. Me and John Gellene will then start updating the documentation, and when that is done, I will release 4.0pre1.