Run as --> Run configuration:
-Dhttp.proxyHost=[代理IP地址] [空格] -Dhttp.proxyPort=[端口]
比如:
-Dhttp.proxyHost=10.56.2.3 -Dhttp.proxyPort=8080