Updated Tomcat startup time article.