make tomcat more robust