diff --git a/build-with-java-25.patch b/build-with-java-25.patch new file mode 100644 index 0000000..b94debf --- /dev/null +++ b/build-with-java-25.patch @@ -0,0 +1,76 @@ +--- build.xml.orig 2026-02-16 10:21:26.627521704 -0500 ++++ build.xml 2026-02-16 10:27:47.814614938 -0500 +@@ -977,7 +977,7 @@ + +