Add tomcat 7 plugin def