Fix tomcat restart