embedded tomcat setting