网上搜到的解决方案，亲测有用。记下来，以备遗忘。
使用管理员权限，修改C:WindowsSystem32Driversetchosts文件，加入以下内容
173.194.127.7 developer.android.com
173.194.127.8 www.android.com