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);
        }
    }
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)
/ * ( non - Javadoc )