Listing B
   public void destroy()
   {
      // save state
      //     and
      // clean up resources
   }