code: public void sessionDestroyed(HttpSessionEvent httpSessionEvent) {
  		if (active) {
  			if (log.isDebugEnabled())
  				log.debug("sessionDestroyed called for sessionId = "
  						+ httpSessionEvent.getSession().getId());
  
  			HttpSession session = httpSessionEvent.getSession();
  			HttpSessionWrapper wrapper = new HttpSessionWrapper(session);
  			String name = wrapper.getResourceEntryPoint();
  			if (name != null) {
  				HttpServletResourceEntryPoint resourceEntryPoint = HttpServletResourceEntryPointManager.getResourceEntryPoint(name);
  				if (resourceEntryPoint != null) {
  					resourceEntryPoint.onSessionTerminated(wrapper);
  				}
  			}
  		}
  	}
docs: /*
  (non-Javadoc)
  @see javax.servlet.http.HttpSessionListener#sessionDestroyed(javax.servlet.http.HttpSessionEvent)