doc change tomcat 6 -> tomcat 7