One script more to manage a tomcat server: start, stop, restart, kill…