[badsectoracula]

Was? It is still being developed, the last version was released six months ago:

https://sourceforge.net/projects/jedit/files/jedit/5.4.0/

[jdc0589]

nice, I had no idea.