--- jsr166/build.xml	2004/06/14 17:22:09	1.68
+++ jsr166/build.xml	2004/07/02 16:06:25	1.69
@@ -718,10 +718,17 @@
       <classpath refid="j1.classpath"/>
       <jvmarg value="-client"/>
 
+      <!-- TestPseudoRandom args -->
+      <arg value="2"/>
+      <arg value="25"/>
+      <arg value="100000"/>
+
       <!-- WebCrawler args -->
+      <!--
       <arg value="jsr166.webcrawler.WebCrawler3"/>
       <arg value="http://www.priorartisans.com"/>
       <arg value="25"/>
+      -->
 
     </java>