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

--- build.xml.orig	2006-09-25 15:20:08.000000000 -0400
+++ build.xml	2006-09-25 15:20:27.000000000 -0400
@@ -93,7 +93,7 @@
                nonavbar="false"
                serialwarn="false"
                source="1.3">
-          <link href="http://java.sun.com/j2se/1.3/docs/api"/>
+          <link href="file:///usr/share/javadoc/java"/>
       </javadoc>
    </target>