Update `WebMvcMetricsFilter` so that it no longer causes early initialization of Spring MVC concerns. Fixes gh-11571