Spring MVC "hello world" that works with Spring 4 and Tomcat 7