fix tomcat restart