File tomcat-10.1-build-with-java-11.patch of Package tomcat10

Index: apache-tomcat-10.1.25-src/build.xml
===================================================================
--- apache-tomcat-10.1.25-src.orig/build.xml
+++ apache-tomcat-10.1.25-src/build.xml
@@ -108,7 +108,7 @@
   <!-- Keep in sync with webapps/docs/tomcat-docs.xsl -->
   <property name="compile.release" value="11"/>
   <property name="min.java.version" value="11"/>
-  <property name="build.java.version" value="17"/>
+  <property name="build.java.version" value="11"/>
   <property name="release.java.version" value="22"/>
 
   <!-- Check Java Build Version -->