new java version, thus new JAVA_HOME