File jakarta-commons-pool-build.patch of Package apache-commons-pool

Index: build.xml
===================================================================
--- build.xml.orig
+++ build.xml
@@ -94,7 +94,7 @@
                nonavbar="false"
                serialwarn="false"
                source="${javac.src.version}">
-          <link href="http://java.sun.com/j2se/1.4.2/docs/api"/>
+          <link href="file://usr/share/javadoc/java"/>
       </javadoc>
    </target>