if (sessionIdLength != SESSION_ID_LENGTH_UNSET) {
sessionIdGenerator.setSessionIdLength(sessionIdLength);
}
sessionIdGenerator.setJvmRoute(getJvmRoute());
if (sessionIdGenerator instanceof SessionIdGeneratorBase) {
SessionIdGeneratorBase sig = (SessionIdGeneratorBase)sessionIdGenerator;
sig.setSecureRandomAlgorithm(getSecureRandomAlgorithm());
sig.setSecureRandomClass(getSecureRandomClass());
sig.setSecureRandomProvider(getSecureRandomProvider());
}
// Force initialization of the random number generator
if (log.isDebugEnabled())
log.debug("Force random number initialization starting");