updated tomcat properties