support-only-tomcat.diff
fix-include-paths.diff
debian-support.diff
fix-default-settings.diff
fix-debian-paths-for-pki-cli.diff
fix-symkey-path.diff
fix-format-security-warnings.patch
fix-junit-jar.diff
dont-install-deleted-files.diff
use-dot-instead-of-source.diff
use-usr-bin.diff
use-root-homedir.diff
