Как мне изменить JAVA_HOME для муравья?

Глядя на сценарий оболочки java-home для вызова ant, возможно, что ant значение $JAVA_HOME, установленное java-home для вашей оболочки в .bashrc, может apache-ant быть переопределено в файлах ant /etc/ant.conf, $HOME/.ant/ant.conf apache-ant и $HOME/.antrc. Если вы выполните java-home bash -x , он apache-ant выдаст отладочную информацию, которая java-home должна помочь вам отследить, где ant переопределяется $JAVA_HOME.