--- 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">