add: tomcat7 setting