/** @deprecated As of Java Servlet API 2.1, with no direct replacement. */
 @Override
 @SuppressWarnings("unchecked") // doPrivileged() returns the correct type
 @Deprecated
 public Enumeration<Servlet> getServlets() {
   if (SecurityUtil.isPackageProtectionEnabled()) {
     return (Enumeration<Servlet>) doPrivileged("getServlets", null);
   } else {
     return context.getServlets();
   }
 }