public Map<String, ? extends FilterRegistration> getFilterRegistrations() { return servletContext.getFilterRegistrations(); }