code: public void sessionDestroyed(final HttpSessionEvent event) {
  		final HttpSession session = event.getSession();
  		final String id = session.getId();
  		SESSIONS.remove(id);
  		counter--;
  	}
docs: Fires whenever a session is destroyed.