modification to the JAVA_HOME setting