You just simply need to edit [global] section in this file: C:\Documents and Settings\
http-proxy-exceptions = you might want to exclude your usual servers
http-proxy-host = your proxy server
http-proxy-port = port 8080 ?
http-proxy-username = proxy username
http-proxy-password = proxy password
Notice that everything in servers file must start from the first column. If you use different repositories for different Eclipse projects then you need to configure groups. No need to restart Eclipse at the end.