public void saveSession(Env env, SessionArrayValue session) { SessionArrayValue copy = (SessionArrayValue) session.copy(env); _sessions.put(session.getId(), copy); session.finish(); if (_persistentStore != null) { _persistentStore.put(session.getId(), copy.encode(env)); } }