Add tomcat7 plugin and format