drools-eclipse/org.guvnor.eclipse.webdav/src/client/org/eclipse/webdav/http/client/HttpClient.java
public void setProxyServerUrl(URL originServerUrl, URL proxyServerUrl) {
        Assert.isNotNull(originServerUrl);
        if (proxyServerUrl == null)
            proxyServerUrls.remove(originServerUrl);
        else
            proxyServerUrls.put(originServerUrl, proxyServerUrl);
    }
public void setProxyServerUrl(URL originServerUrl, URL proxyServerUrl) {
        Assert.isNotNull(originServerUrl);
        if (proxyServerUrl == null)
            proxyServerUrls.remove(originServerUrl);
        else
            proxyServerUrls.put(originServerUrl, proxyServerUrl);
    }
Sets the <code>URL</code> of the proxy server that this client uses
to communicate with the origin server at the given <code>URL</code>.
If the proxy server <code>URL</code> is <code>null</code>, the
default proxy server is used if the specified origin server does not
match a proxy server exception pattern.

@param originServerUrl the <code>URL</code> of on origin server
@param proxyServerUrl the <code>URL</code> of a proxy server, or
<code>null</code>
@see #addProxyServerException(String)
@see #getDefaultProxyServerUrl()
@see #getProxyServerExceptions()
@see #getProxyServerUrl(URL)
@see #removeProxyServerException(String)
@see #setDefaultProxyServerUrl(URL)