tomcat restart fix