/** @see HttpSessionListener#sessionDestroyed(HttpSessionEvent) */ public void sessionDestroyed(HttpSessionEvent se) { ServletSessionUtil.destroy(se.getSession()); }
/** @see HttpSessionListener#sessionCreated(HttpSessionEvent) */ public void sessionCreated(HttpSessionEvent se) { ServletSessionUtil.create(se.getSession()); }