JAVA_HOME may be customized