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