It would be better if we updated WebMvcAutoConfiguration to register the default SERVLET_LOCATIONS using a ServletContextResource to save a ResourceLoader call.