Comment WTP déterminer la version Tomcat

Question

je trouve dans Why won't the New Server Runtime dialog recognize my Linux installed version of Tomcat? que:

Lors de l'identification Tomcat 5.0.x, un servlet-api.jar devrait être présent dans le répertoire commun/lib.

mais mon problème est que j'ai un Tomcat légèrement modifié 7.0.30 et WTP pense qu'il est 5.1

Où puis-je trouver une liste de contrôles réels par Tomcat?

Answer 1

On dirait que le anwser est ici: https://github.com/eclipse/webtools.servertools/blob/master/plugins/org.eclipse.jst.server.tomcat.core/tomcatcore/org/eclipse/jst/server/tomcat/core/internal/TomcatVersionHelper.java

chose drôle, ils n'inspectent pas le fichier externe CATALINA_BASE/lib/org/apache/catalina/util/ServerInfo.properties comme décrit dans https://tomcat.apache.org/tomcat-7.0-doc/security-howto.html