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)