use-jar-files-from-debian.patch
osgi.service.jdbc.patch
jakarta-servlet-api.patch
