added tomcat7 props