Servlet s = (Servlet) instancePool.pop();
if (System.getSecurityManager() != null) {
SecurityUtil.doAsPrivilege("destroy", s);
SecurityUtil.remove(instance);
} else {
s.destroy();
}
// Annotation processing
if (!((Context) getParent()).getIgnoreAnnotations()) {
((StandardContext)getParent()).getAnnotationProcessor().preDestroy(s);
}