change for tomcat7 plugin