Update the port to the latest development release of jEdit, patch included.
State Changed From-To: open->closed Committed, thanks!