river.home=/home/pats/apache/river/jtsk/trunk
jdk1.5.home=/usr/java/jdk1.5.0_22
jtreg.home=/apache/jtreg

