Matt mentioned it earlier, but the release is official:
The Tomcat Team announces the immediate availability of Apache Tomcat 4.1.17 Stable. Tomcat 4.1.17 includes many bugfixes and performance tweaks over Tomcat 4.1.12. Please see the release notes for a complete list of the changes. [Download]