build_gradle.patch
newer-mime4j-api.diff
change_package_jfree.patch
get_rid_of_quaqua.patch
using_right_json_simple_package.patch
deactivate_getdown.patch
deactivate_classgraph.patch
deactivate_google_analytics.patch
selecting_tests_in_build_gradle.patch
write_build_properties.patch
no_applet.patch
timestamp_from_changelog.patch
groovy_syntax.patch
deactivate_flatlaf.patch
unneeded_checks_when_launching.patch
waiting_launcher.patch
