Element nameElement = (Element)names.get(i);
String url = nameElement.element("url-pattern").getTextTrim();
// Destroy the servlet than remove from servlets map.
GenericServlet servlet = servlets.get(pluginName + url);
if (servlet != null) {
servlet.destroy();
}
servlets.remove(pluginName + url);
servlet = null;
}
}