drools-eclipse/org.guvnor.eclipse.webdav/src/client/org/eclipse/webdav/http/client/HttpClient.java
public URL getProxyServerUrl(URL originServerUrl) {
        Assert.isNotNull(originServerUrl);
        return (URL) proxyServerUrls.get(originServerUrl);
    }
public URL getProxyServerUrl(URL originServerUrl) {
        Assert.isNotNull(originServerUrl);
        return (URL) proxyServerUrls.get(originServerUrl);
    }
public URL getProxyServerUrl ( URL originServerUrl ) { Assert . isNotNull ( originServerUrl ) ; return ( URL ) proxyServerUrls . get ( originServerUrl ) ; }
Returns the <code>URL</code> of the proxy server that the origin
server at the given <code>URL</code> uses, or <code>null</code> if
no proxy server is used.

@param originServerUrl the <code>URL<code> of an origin server
@return the <code>URL</code> of a proxy server, or <code>null</code>
@see #addProxyServerException(String)
@see #getDefaultProxyServerUrl()
@see #getProxyServerExceptions()
@see #removeProxyServerException(String)
@see #setDefaultProxyServerUrl(URL)
@see #setProxyServerUrl(URL, URL)
Returns the <code > URL< / code > of the proxy server that the origin server at the given <code > URL< / code > uses or <code > null< / code > if no proxy server is used .