tomcat.doc change