Ciao riavviato tomcat alle ore 20.30 di lunedì 17 ottobre. Motivo: un riavvio di tomcat accidentale attorno alle 17 con permessi non giusti (un mio problema durante un cut&paste) Da qui il riavvio successivo. Verificato, tutto ok.