jenv: jenv (Java environment management tool)
jenv:
jenv: jEnv is a command line tool to help you forget how to set
jenv: the JAVA_HOME environment variable.
jenv:
jenv:
jenv:
jenv:
jenv: Homepage: https://www.jenv.be
jenv: Release date: Aug 22, 2020
jenv: