config_debianisation.patch
no-swf-clock.patch
config_frontend-conffile-in-etc.patch
java-gateway.patch
manpage-fix.patch
manpage-paths.patch
