Upgrade to Servlet API 4.0 for MVC (PushBuilder and Servlet mocks) [SPR-15879]

[spring-projects-issues]

Juergen Hoeller opened SPR-15879 and commented

Servlet 4.0 is finally GA now, with its API available in final form from Maven Central. Let's upgrade spring-test to it for actual MockServletContext overrides, and also spring-webmvc for non-reflective PushBuilder injection with corresponding tests (#17273).

spring-web keeps building against the Servlet API 3.1 for the time being. This may change as we start to optionally integrate with specific Servlet 4.0 features in the core web facilities (e.g. #19883 in UrlPathHelper outside of spring-webmvc) but isn't necessary at this point.

---

Affects: 5.0 RC1

Issue Links:

• Build against EE 8 API level wherever possible [SPR-15996] #20545 Build against EE 8 API level wherever possible ("is depended on by")
• Support for Servlet 4.0 API [SPR-12674] #17273 Support for Servlet 4.0 API
• Compatibility with Servlet 4.0 final draft [SPR-15379] #19942 Compatibility with Servlet 4.0 final draft
• Make use of Servlet 4.0 mapping introspection when available [SPR-15320] #19883 Make use of Servlet 4.0 mapping introspection when available
• Merge EhCache 3 tests into spring-context-support [SPR-15880] #20435 Merge EhCache 3 tests into spring-context-support

Referenced from: commits fac1f23