Notes on tomcat startup/shutdown