Ciao,

no il file .war può chiamarsi anche pippo.war

non è necessario che abbia lo stesso nome.
Stai usando Tomcat 5 ???

:metallica