Added ServletRegistrationProvider for Servlet 2.5