561562563564565566567568569570571
try { if (session.isValid()) { synchronized (session) { if (! session.isEmpty()) session.storeOnShutdown(); } } _sessions.remove(session.getId()); } catch (Exception e) {
596597598599600601602603604605606
602603604605606607608609610611612