diff -urEbwB apache-tomcat-10.1.16-src.orig/build.xml apache-tomcat-10.1.16-src/build.xml --- apache-tomcat-10.1.16-src.orig/build.xml 2024-01-17 17:25:04.525014965 +0100 +++ apache-tomcat-10.1.16-src/build.xml 2024-01-17 17:25:34.891882458 +0100 @@ -107,7 +107,7 @@ - +