https://kodejava.org/how-do-i-set-the-default-java-jdk-version-on-mac-os-x/