fix instructions for JAVA_HOME in Ubuntu