Ok ho risolto da solo! Era tutto ok, il problema era esterno alla configurazione di Tomcat e del file web.xml! Server.xml non andava modificato.

Grazie in ogni caso!