718 |
<classpath refid="j1.classpath"/> |
<classpath refid="j1.classpath"/> |
719 |
<jvmarg value="-client"/> |
<jvmarg value="-client"/> |
720 |
|
|
721 |
|
<!-- TestPseudoRandom args --> |
722 |
|
<arg value="2"/> |
723 |
|
<arg value="25"/> |
724 |
|
<arg value="100000"/> |
725 |
|
|
726 |
<!-- WebCrawler args --> |
<!-- WebCrawler args --> |
727 |
|
<!-- |
728 |
<arg value="jsr166.webcrawler.WebCrawler3"/> |
<arg value="jsr166.webcrawler.WebCrawler3"/> |
729 |
<arg value="http://www.priorartisans.com"/> |
<arg value="http://www.priorartisans.com"/> |
730 |
<arg value="25"/> |
<arg value="25"/> |
731 |
|
--> |
732 |
|
|
733 |
</java> |
</java> |
734 |
|
|