如果你也在代理下build Spring工程
Build Spring工程时，因为需要通过ivy下载关联文件，如果你在代理后边，默认配置下会因为无法连接到服务器而失败，需要设置你的代理服务器。以前没接触过ivy，所以花了些功夫，希望对大家有用，不说废话了。

设置代理的地方如下：
定位到spring源代码ivy文件夹，比如：
spring-framework-3.1.0.M1\projects\spring-build\lib\ivy

打开文件：
jets3t.properties

你找到设置代理的地方了。
# Proxy configuration
httpclient.proxy-autodetect=true
#httpclient.proxy-host=
#httpclient.proxy-port=
#httpclient.proxy-user=
#httpclient.proxy-password=
#httpclient.proxy-domain=

设置即可，注意把autodetect设置为false。

现在你可以build spring工程了。