added tomcat7 properties