Enno Boland 885cfdfdf9 apache-ant: source jdk profile instead of setting JAVA_HOME by hand		2014-06-22 12:01:21 +02:00
..
files	…
INSTALL	…
template	apache-ant: source jdk profile instead of setting JAVA_HOME by hand	2014-06-22 12:01:21 +02:00