解决 Android Studio 在 Sync Project With Gradle 时 dl.google.com:443 failed to respond 的问题

Android Studio 3.5 版本，此时已经设置了代理

搜到有的解决方法说是在设置里的 Build, Execution, Deployment --> Gradle --> Android Studio 里勾选 Enable embedded Maven repository，然而 3.5 的 AS 已经没有这个选项了。

实测可用的解决方法是打开 ~/.gradle/gradle.properties （如果是windows的话应该在 C:\Users\Administrator.gradle\gradle.properties），把https的两行注释掉即可