simplification très pertinente proposé par Khan (jetoile) qui permet d'éviter le filtrage de ressources du fichier server.xml et tous les problèmes qui en découle (le clean install quand on veut changer de port par exemple)