If it helps it's also possible to deploy your war file with any name at all and have it deployed as the default context "/" - without the need to name it ROOT.war.
The trick is to have it located outside the Tomcat directory and have the ROOT.xml context docBase point to it whilst setting path="". Exact details can be found here:
Tomcat ROOT.war deployment