// determine the session holder provider
if ( sessionHolderProviderManager == null ) {
if ( LOG.isDebugEnabled() ) {
LOG.debug( "no session holder provider manager set; using the default one" );
}
sessionHolderProvider = new GenericSessionHolderProvider();
} else {
sessionHolderProvider = sessionHolderProviderManager.getSessionProvider( getRepository() );
}
}