just forget about restarting the tomcat service. it's not worth it