Implements destroy() method of servlet to ensure that shared JanitorThread terminates. TAPESTRY-230: Ignored interruptedException prevents Janitorthread termination.