With Spring Boot 1.2.0, m2e sets the Eclipse Project Facet "Dynamic Web Project" to 3.1. This is expected as Spring Boot 1.2.0 newly supports Servlet Spec 3.1.
However, we need to stay with 3.0 (Tomcat 7), so we set the correct property in our POM per the Boot instructions:
<servlet-api.version>3.0.1</servlet-api.version>
But m2e still sets the Eclipse facet to 3.1, not 3.0. The problem is Eclipse will not deploy the war to Tomcat 7.
What else needs setting to make m2e set the facet to 3.0 so we can upgrade to Spring Boot 1.2.0?