When the port was submitted, the devel branch of jEdit was at pre8 and now pre13 is the latest version. It fixes quite a few bugs. Patches included.
State Changed From-To: open->closed Committed, thanks!