--- src/build.xml 2007-04-17 12:27:47.000000000 -0400 +++ src/build.xml 2007-04-17 12:28:09.000000000 -0400 @@ -328,7 +328,7 @@ <target name="javadoc" depends="prepare" description="Build the full javadocs"> <mkdir dir="${build}/doc"/> <mkdir dir="${build}/doc/javadoc"/> - <javadoc sourcepath="${main}" destdir="${build}/doc/javadoc" doctitle="${name} JavaDoc" windowtitle="${name} JavaDoc" bottom="${copyright}" package="true" author="true" version="true" noindex="true" packagenames="${allpackagenames}"/> + <javadoc sourcepath="${main}" destdir="${build}/doc/javadoc" doctitle="${name} JavaDoc" windowtitle="${name} JavaDoc" bottom="${copyright}" package="true" author="true" version="true" noindex="true" packagenames="${allpackagenames}" source="1.4"/> </target> <target name="api" depends="prepare" description="Build the public API javadocs">