public void destroy() {
   // make sure we cancel the timer
   clientCleanupTimer.cancel();
   super.destroy();
 }
 public void init() throws ServletException {
   super.init();
 }