Take it on faith that the average *nix user is going to have a later version of java installed

Otherwise they'll get a build error even if JAVA_HOME is set.
Oh, I see what you mean! We should check `JAVA_HOME` first.