add back tomcat7 plugin