modifying tomcat7 module