tomcat rc.0/K script