document required Tomcat version