Fix setup_java so $JAVA_HOME can be used.