Add function to restart tomcat on linux box