Use Tomcat 7 instead