# upstreamed
run-pki-server-migrate-on-start.diff

# not upstreamable
dont-install-deleted-files.diff
fix-include-paths.diff

debian-support.diff
fix-symkey-path.diff
fix-format-security-warnings.patch
use-root-homedir.diff
use-bash.diff
create-target-wants.diff
#use-resteasy-legacy.diff
fix-tomcat-paths.diff
hardcode-tomcat-version.diff
use-new-pkcs11-interface.diff
fix-tomcat-jars.diff
