A command line tool for managing a tomcat server