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