407136 @PreDestroy called after Servlet.destroy()