public void contextDestroyed(ServletContextEvent sce) { users = null; counter = 0; }
public void contextDestroyed(ServletContextEvent event) {}
    public void contextDestroyed(ServletContextEvent sce) {        users = null;        counter = 0;    }