Upgrade doc to latest Tomcat