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