tomcat 6.0.39 + fulldocs option