Properties for tomcat