Add the following system properties to your config.ini:
| System Property | Default |
|---|---|
| http.proxyHost | none |
| http.proxyPort | 80 (if http.proxyHost specified) |
| http.nonProxyHosts | none |
This can be acomplished with:
eclipse.vmargs = -Dhttp.proxyHost=host -Dhttp.proxyPort=80
There should be an entry near the bottom of the file for you to uncommnet and fill out.