Change warfile name when installed to tomcat