}
private synchronized SessionCache getSessionCache() {
// create on demand
if (session_cache_ == null) {
SessionCacheFactory factory;
try {
// look up our SessionCacheFactory via JNDI
// (this allows end users to plug in their own session stuff)
factory = JNDIMain.lookup(SessionCacheFactory.class);
} catch (NamingException e) {
throw new RuntimeException(e);
}
session_cache_ = factory.createSessionCache(0);
// if (session_id_key_ != null) {
// session_cache_.setEncryptionKey(session_id_key_);
// }
}
return session_cache_;