A new pre-release version of jEdit 4.2 has been released, patch included
State Changed From-To: open->closed Committed, thanks!