Use jenv to manage multiple java versions.