// JIRA TUSCANY-1599
// FIXME Looks like a bug in Tomcat when removing the last
// Servlet in the list, catch the exception for now as it doesn't
// seem harmful, will find a better solution for the next release
}
context.removeChild(servletWrapper);
try {
servletWrapper.destroyServlet();
} catch (Exception ex) {
// Hack to handle destruction of Servlets without Servlet context
}