scripts to start/stop tomcat service