change tomcat settings