Some code to use tomcat as a service on linux