Added SPI for obtaining a list of all registered Servlets
Added implementation of ServletRegistrationProvider for Servlet 3.0 environments
Modified ServletMapping condition to use the new ServletRegistrationProvider SPI