关于解决eclipse被墙无法下载一些插件和更新的问题

老问题了，之前在下载python的相关插件时，就很烦人

正好最近在使用某灯，所以突发奇想，把eclipse的代理服务器改了，然后问题解决

window-->preferences-->general-->network connections 

Active provider 选为manual在http那里填host 和port，
另外，如果代理需要用帐号和密码就需要选中 Enable proxy authentication,
然后填上 user name 及password 

然后某灯也要设置好