use-jar-files-from-debian.patch
reproducible-javadoc.patch
