Added a unit test for the Servlet 3.0 implementation of ServletRegistrationProvider