ant配置java版本_Ant在哪里设置它的’java.home'(并且它是错误的),它应该附加’/ jre’？...

好的,我在CentOS 6.3上使用Ant版本1.7.1(默认安装)：

[theuser@dev-ingyhere ~]$ant -version

Apache Ant version 1.7.1 compiled on August 24 2010

[theuser@dev-ingyhere ~]$cat /etc/*-release

CentOS release 6.3 (Final)

我有JAVA_HOME集,我运行ant：

[theuser@dev-ingyhere ~]$export JAVA_HOME=/usr/java/jdk1.7.0_17 ; echo $JAVA_HOME ;

/usr/java/jdk1.7.0_17

[theuser@dev-ingyhere ~]$ant -diagnostics | grep java\\.home

java.home : /usr/java/jdk1.7.0_17/jre

这更加有趣：

[theuser@dev-ingyhere ~]$export JAVA_HOME=/a/fools/folly ; echo $JAVA_HOME ; ant -diagnostics | grep java\\.home

/a/fools/folly

java.home : /usr/java/jdk1.7.0_17/jre

[theuser@dev-ingyhere ~]$ env | grep JAVA

JAVA_HOME=/a/fools/folly

所以,我确实有一件事 – 显然Oracle’s Java 7 Javadoc for Class System是错误的(aghast！),它将java.home系统属性描述为“Java安装目录”.我知道,因为Java(TM) Tutorials for System Properties将java.home系统属性描述为“Java运行时环境(JRE)的安装目录”.换句话说,环境中的JAVA_HOME不一定等于JVM系统属性中的java.home. (什么设置？

问题：Ant在哪里和如何获取/设置系统属性java.home？