Deal with intermittent issue that prevents starting multiple Taverna
Servers in the same Tomcat.