ma....veramente io modifico il file server.xml che si trova nella directory conf di Tomcat e cmq sì, stoppo e riavvio il servizio dopo aver fatto la modifica