Infelizmente o Jenv (http://jenv.io) ficou fora do ar por um bom tempo (pelo menos os últimos cinco dias). Então, junto com Daniel Altarmiro, escrevemos um novo guia, desta vez sobre o SDKMan, tendo como base o nosso antigo guia do Jenv.
Entrei em contato com a equipe responsável pelo desenvolvimento e manutenção do projeto pelo Gist, e por lá pude ver que a situação já dura um bom tempo infelizmente.
Vocês podem baixar o guia clicando aqui.