diff --git a/jakarta-commons-pool-build.patch b/jakarta-commons-pool-build.patch index 52f69ea..2bbd443 100644 --- a/jakarta-commons-pool-build.patch +++ b/jakarta-commons-pool-build.patch @@ -2,12 +2,19 @@ Index: build.xml =================================================================== --- build.xml.orig +++ build.xml -@@ -94,7 +94,7 @@ - nonavbar="false" - serialwarn="false" - source="${javac.src.version}"> -- -+ - - - +@@ -97,7 +97,7 @@ + nonavbar="false" + serialwarn="false" + source="${javac.src.version}"> +- ++ + + + +@@ -211,4 +211,4 @@ + + + +- +\ No newline at end of file ++