HCSVLAB-414: Use the same war file in Tomcat that we use in Jetty.