Should we require the user to set `JAVA_HOME` anymore? Or should we use `JAVA_HOME` if it's specified, and just `java` if it's not?