https://techiworks.com/configure-proxy-settings-eclipse/