drools-eclipse/org.guvnor.tools/src/org/guvnor/tools/utils/webdav/WebDavClient.java
public void setSessionAuthenticator(IAuthenticator sessionAuthen) {
        if (sessionAuthen != null) {
            client.getHttpClient().setAuthenticator(sessionAuthen);
        } else {
            client.getHttpClient().setAuthenticator(platformAuthenticator);
        }
    }
public void setSessionAuthenticator(IAuthenticator sessionAuthen) {
        if (sessionAuthen != null) {
            client.getHttpClient().setAuthenticator(sessionAuthen);
        } else {
            client.getHttpClient().setAuthenticator(platformAuthenticator);
        }
    }
/*
(non-Javadoc)
@see org.guvnor.tools.utils.webdav.IWebDavClient#setSessionAuthenticator(org.eclipse.webdav.http.client.IAuthenticator)