small change to make setting the JAVA_HOME differently / locally easy