WTP 如何确定 Tomcat 版本

How does WTP determine the Tomcat version

我在 Why won't the New Server Runtime dialog recognize my Linux installed version of Tomcat? 中发现:

When identifying Tomcat 5.0.x, a servlet-api.jar is expected to be present in the common/lib directory.

但我的问题是我稍微修改了 Tomcat 7.0.30 并且 WTP 认为它是 5.1

在哪里可以找到每个 Tomcat 版本的实际检查列表?

看起来答案在这里: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

有趣的是,他们没有按照 https://tomcat.apache.org/tomcat-7.0-doc/security-howto.html

中的描述检查外部文件 CATALINA_BASE/lib/org/apache/catalina/util/ServerInfo.properties