После загрузки плагина ADT внутри Eclipse вы можете загрузить любую платформу SDK.
После обновления или установки ADT 14.0 вы получите этот SDK Manager ( Просто проверьте приведенную ниже оснастку, я уже установил SDK 4.0 )
Обновление:
Для обновления плагина ADT вы должны проверить в eclipse: Help -> Check for updates