Small hack (needs to be properly fixed) regarding JAVA_HOME