The Servlet Javadoc is not installed by default. Download and install the "fulldocs" package to get it. You can also access the javadoc online in the Tomcat
documentation bundle
.