restart tomcat ok