The WAR install instructions are wrong
The WAR install instructions tell you to delete TOMCAT_HOME/work. If you do that, you break Tomcat, at least on Ubuntu Server 16.04 with Tomcat7.
Just an FYI, so nobody else spends a half-hour pulling their hair out like I did.
Just an FYI, so nobody else spends a half-hour pulling their hair out like I did.