JAVA_HOME

This ultimately determines which Java is used by a bunch of tools.

TODO is there a way to update it sanely in Ubuntu: askubuntu.com/questions/175514/how-to-set-java-home-for-java to always match the default java executable?