build.patch
revert-switch-to-jprante-s-jflex-plugin.patch
remove-troublesome-jgit-tricks.patch
