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