Hello everyone,

I proudly present jEdit 5.4.0, the first stable release of the 5.4 series of jEdit.

This is mostly a bugfixing and stabilizing release. Detailed changes can as always be found in the Change Log at http://jedit.org/CHANGES54.txt, but here are some of the major changes of this version:

• Use of Java 1.8
• Use of a new XML format for Plugin Manager, and proper following of redirects, resulting in a much improved plugin install experience
• New Printing, updated for current versions of Java

Volunteers are always welcome to contribute to the future of jEdit:
http://www.jedit.org/index.php?page=devel


That being said, here is the download link:
http://www.jedit.org/index.php?page=download


Have fun with the new release.