JDK 7 64-разрядная версия работает без проблем в 64-разрядной версии Windows7, однако вам, вероятно, потребуется загрузить как 32-разрядную, так и 64-разрядную версии SDK. Я не уверен, почему они не решили эту проблему, но исправление работает, и JDK 7 отлично работает с Android.