Option to modify tomcat settings