Use Tomcat version 7