Update tomcat.properties