Use Tomcat 7