01-use-jar-files-from-debian.patch
03-osgi-compatibility.patch
04-reproducible-javadoc.patch
05-servlet-api-compatibility.patch
