Você está vendo a versão anterior da nova experiência da Alura que estamos preparando para você. Em breve, ela ganha uma identidade visual novinha totalmente pensada em potencializar seus estudos!
Solucionado
No endereço do http://developer.android.com/ , só tem as opções de download ou da IDE Android Studio, ou de um pacote NDK (Que não sei o q é), ou de um arquivo chamado "tools_r25.2.3.zip". Em qual dessas opções conseguimos obter apenas o JDK do android?!
É esse tools_r25xxx.zip mesmo. Eles estao cada vez mais escondendo no site, mas é esse cara.
(o NDK é pra desenvolvimento nativo com C++, nao o que queremos)