Tomcat upgrade.

Our team keeps an eye on updates and security fixes for 3rd party software we install on customer servers. Yesterday we upgraded all web servers for one of our customers with the recently released Tomcat 5.0.24.