From [http://tomcat.apache.org/]. Patched.