0001-path-substitution.patch
0002-jetty-compatibility.patch
0003-tomcat9.patch
0004-Fix-Debian-builds-with-Jetty-9.4.15-ticket-2457.patch
