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