More stable startups of Tomcat immediately following shutdowns
app-openid3 tests failed on some machines if executed right after app-openid2 because shutdown script for app-openid2 ended, but shutdown was still in progress while app-openid3 tried to start Tomcat again
catalina.sh contains ways to stabilize that, so we can use them
More stable startups of Tomcat immediately following shutdowns