instructions about JAVA_HOME improved