remove-troublesome-jgit-tricks This build process uses jgit to add the git commit ID to the version name used in the filename of the release jars. That gets in the way of Debian packaging.
revert-switch-to-jprante-s-jflex-plugin I couldn't get it to work with the new version of gradle-jflex-plugin. Whoever wants to give it a try, I have pushed my work to the experimental branch (gradle-jflex-plugin). Gradle just couldn't find the new plugin.
