--- build.xml.orig Thu Aug 12 12:17:41 2004 +++ build.xml Thu Aug 12 12:20:10 2004 @@ -144,8 +144,6 @@ windowtitle="${javadoc.title}" doctitle="${javadoc.title}" bottom="${javadoc.footer}"> - -