Adjusting sleep time for tomcat restart