Added a convenience script to restart tomcat.