Refactored tomcat stop script options