Use the options on the Proxy Settings page of the Micromine Spry Settings window, to set proxy settings for a Proxy Server.
