`FilterRegistrationBean` has those properties, but `@FilterRegistration` hasn't: - `initParameters` - `servletRegistrationBeans`