I've just updated to jEdit to jEdit 4.3-pre12 and wow, what an improvement in performance.