Changelog for jedit-5.5.0-67.5.noarch.rpm :

* Fri Apr 19 2024 Fridrich Strba - Modified patch:
* jedit-doclet.patch + add -notimestamp parameter to javadoc for reproducible builds
* Wed Feb 21 2024 Fridrich Strba - Use %patch -P N instead of deprecated %patchN.
* Tue Mar 22 2022 Fridrich Strba - Build with java source and terget levels 8
* Thu May 20 2021 Markéta Machová - Include all available docs in the javadoc subpackage
* Tue May 18 2021 Markéta Machová - Include pre-generated html docs, jEdit expects them (bsc#845615)
* Tue Feb 02 2021 Jan Engelhardt - Set buildshell to /bin/bash for \"<<<\".
* Sun Nov 10 2019 Fridrich Strba - Added patches:
* jedit-doclet.patch + Do not use custom doclet
* jedit-jdk9+.patch + Do not bail out on java >= 9- Removed patches:
* jedit-encoding.patch
* jedit-jdk10.patch + Not needed anymore
* Sun Nov 10 2019 adminAATTdamienradtke.org- Upgrade to 5.5.0
* updates jEdit to version 5.5.0 (the latest stable version), and makes some other small improvements such as support for larger application icons and antialiasing settings in the launch script.
* Mon Dec 10 2018 Fridrich Strba - Build against the generic provider xml-apis instead of xerces-j2-xml-apis
* Thu Nov 01 2018 Fridrich Strba - Port to use bsh2 instead of the old bsh