Quite confusing.. the jenv.io seem to be able to install many other candidates, eg tomcat/maven etc.. Whts up here.. the name is confusing..