Java WTP如何确定Tomcat版本

Java WTP如何确定Tomcat版本,java,eclipse,tomcat,eclipse-wtp,Java,Eclipse,Tomcat,Eclipse Wtp,我发现: 在识别Tomcat5.0.x时,需要一个servlet-api.jar 存在于common/lib目录中 但我的问题是我有一个稍微修改过的Tomcat7.0.30,WTP认为它是5.1 在哪里可以找到每个Tomcat版本的实际检查列表?看起来anwser在这里: 有趣的是,他们没有检查外部文件CATALINA_BASE/lib/org/apache/CATALINA/util/ServerInfo.properties,如中所述

我发现:

在识别Tomcat5.0.x时,需要一个servlet-api.jar 存在于common/lib目录中

但我的问题是我有一个稍微修改过的Tomcat
7.0.30
,WTP认为它是
5.1


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

看起来anwser在这里:

有趣的是,他们没有检查外部文件
CATALINA_BASE/lib/org/apache/CATALINA/util/ServerInfo.properties
,如中所述