文件如题。国内很多用户无法访问http://sourceforge.net，这是通过代理服务器下载的。