Tomcat settings should be set in tomcat preference page

Version imprimable