/**
  * Gets a Map of the ServletRegistration objects corresponding to all currently registered
  * servlets.
  */
 @Override
 @SuppressWarnings("unchecked") // doPrivileged() returns the correct type
 public Map<String, ? extends ServletRegistration> getServletRegistrations() {
   if (SecurityUtil.isPackageProtectionEnabled()) {
     return (Map<String, ServletRegistration>) doPrivileged("getServletRegistrations", null);
   } else {
     return context.getServletRegistrations();
   }
 }