0006-fix-plugins.patch
0001-path-substitution.patch
0002-jetty-compatibility.patch
0003-tomcat9.patch
0004-javadoc-fix.patch
0005-fonts-dejavu.patch
