code: public void setHTTPProxy(String PROXYNAME, int PROXYPORT) {
  		if (PROXYNAME == null) {
  			this.proxy_to_use = null;
  		}
  		else {
  			this.proxy_to_use = new Proxy(Proxy.Type.HTTP, new InetSocketAddress(PROXYNAME, PROXYPORT));
  		}
  	}
docs: Sets the http-proxy to use.
  @param PROXYNAME hostname or ip of the proxy to use (e.g. "127.0.0.1"). If proxyname equals null, no proxy will be used.
  @param PROXYPORT port of the proxy to use (e.g. 8080)