tomcat server start fix for issue #3458