--- build.xml	2003/05/14 21:30:37	1.22
+++ build.xml	2003/05/19 11:33:20	1.25
@@ -27,9 +27,12 @@
     </echo>
   </target>
 
+  <property file="user.properties"/>
+  <property name="testcase" value="*"/>
 
   <!-- 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"/>
@@ -143,7 +146,7 @@
     <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:"/>
@@ -246,7 +249,7 @@
     <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}"/>
 
@@ -341,7 +344,7 @@
 
       <batchtest todir="${build.reports.dir}">
         <fileset dir="${test.src.dir}">
-          <include name="**/*Test.java"/>
+          <include name="**/${testcase}Test.java"/>
         </fileset>
       </batchtest>