Use tomcat 7 plugin