api-fix.diff
java7-compat.diff
jetty-compatibility.patch
tomcat10-migration.patch
