diff -urNp -x '*.orig' apache-tomcat-7.0.107-src.org/conf/server.xml apache-tomcat-7.0.107-src/conf/server.xml --- apache-tomcat-7.0.107-src.org/conf/server.xml 2021-11-24 10:19:04.426573110 +0100 +++ apache-tomcat-7.0.107-src/conf/server.xml 2021-11-24 10:19:04.699920632 +0100 @@ -137,6 +137,46 @@ + + + + + + +