--- jsr166/build.xml	2003/05/17 21:20:50	1.23
+++ jsr166/build.xml	2003/05/19 11:33:20	1.25
@@ -32,6 +32,7 @@ ant [target], where target is one of:
 
   <!-- Compilation options -->
   <property name="build.sourcelevel"    value="1.5"/>
+  <property name="build.docsourcelevel" value="1.4"/>
   <property name="build.debug"          value="true"/>
   <property name="build.debuglevel"     value="source,lines,vars"/>
   <property name="build.deprecation"    value="false"/>
@@ -145,7 +146,7 @@ ant [target], where target is one of:
     <javadoc destdir="${build.javadocs.dir}"
                 link="http://java.sun.com/j2se/1.4.1/docs/api"
             overview="${src.dir}/intro.html"
-              source="${build.sourcelevel}">
+              source="${build.docsourcelevel}">
 
       <tag name="revised" description="Last revised:"/>
       <tag name="spec" description="Specified by:"/>
@@ -248,7 +249,7 @@ ant [target], where target is one of:
     <javadoc destdir="${dist.javadocs.dir}"
                 link="http://java.sun.com/j2se/1.4.1/docs/api"
             overview="${src.dir}/intro.html"
-              source="${build.sourcelevel}">
+              source="${build.docsourcelevel}">
 
       <packageset dir="${build.filter.src.dir}"/>