another fix for JAVA_HOME