diff --git a/java/external/build.xml b/java/external/build.xml index c1dc7b6..34059fd 100644 --- a/java/external/build.xml +++ b/java/external/build.xml @@ -7,8 +7,10 @@ - + + + @@ -25,11 +27,26 @@ - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -67,8 +97,9 @@ version="yes" windowtitle="${external.javadoc.title}" doctitle="${external.javadoc.title}" - bottom="This document is in the PUBLIC DOMAIN and comes with NO WARRANTY of any kind." /> + @@ -77,7 +108,8 @@ - + @@ -92,6 +124,12 @@ + + + + + +