note on tomcat settings