revert-to-old-build.gradle.patch
backport-java8-compat.patch
set-version.patch
build.patch
revert-switch-to-jprante-s-jflex-plugin.patch
remove-troublesome-jgit-tricks.patch
add-jar-manifests.patch
