jEdit 4.3 release is available

Just saw, that the release 4.3 of jedit is available for download.