schmonz a4801ddaae The default value of JAVA_HOME should be ${JAVA_HOME}, not ${PREFIX}/java.		2002-06-03 05:07:46 +00:00
..
ant	The default value of JAVA_HOME should be ${JAVA_HOME}, not ${PREFIX}/java.	2002-06-03 05:07:46 +00:00
antRun	Update jakarta-ant to version 1.3. Note that jakarta-ant has a new version	2001-03-18 22:53:47 +00:00