* Only set JAVA to $JAVA_HOME/jre/bin/java if JAVA_HOME is not empty;