Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[Build] Use JDK in JAVA_HOME to run the Java source scripts
This increases the probability that the same jvm running the maven build is used to run the java source scripts. Maven's launch script by default uses the java executable referenced in $JAVA_HOME/bin first and only then searches the PATH environment variable. Using the java exe at JAVA_HOME also simplifies to control which jvm is actually used. For example when launching a Maven build from the Eclipse IDE JAVA_HOME is set to the jvm running that build by Eclipse automatically, but PATH is not modified.
- Loading branch information