Discover jenv, the command line Java manager