For detailed instructions on how to run Tomcat see:

	${PREFIX}/tomcat/doc/uguide/tomcat_ug.html

For more information on application development with Tomcat, see

	${PREFIX}/tomcat/doc/appdev/index.html

Note that tomcat may be started with the following command:

	${PREFIX}/tomcat/bin/startup.sh

