标签： eclipse eclipse-mars
我下载了最新的Eclipse Mars套餐（2015年6月）。现在它与安装程序一起分发。但安装程序不起作用，因为我落后于代理。我应该如何为安装程序配置代理设置？
我得到的错误：
org.apache.http.conn.ConnectTimeoutException：连接到 download.eclipse.org:80超时