/** @deprecated */ public Enumeration<Servlet> getServlets() { return servletContext.getServlets(); }