01-use-jar-files-from-debian.patch
02-servlet-api-compatibility.patch
03-osgi-compatibility.patch
