eclipse中安装tomcat8

最近项目需要从tomcat7升级到tomcat8。
升级环境：win10 + eclipse mars + jdk1.7 + tomcat 7.0.65
具体是从tomcat7.0.65升级至tomcat8.5.20。首先得在开发环境加尝试tomcat8的运行情况。然而却出现问题了。

eclipse中安装tomcat时，提示以下错误：
The Apache Tomcat installation at this directory is version 8.5.0. A Tomcat 8.0 installation is expected.

解决方法：
打开tomcat目录/lib/catalina.jar中catalina.jar文件，使用解压缩工具打开ServerInfo.properties文件，位置:/org/apache/catalina/util/ServerInfo.properties。
将其中的

server.info=Apache Tomcat/8.5.20
server.number=8.5.20
server.built=Sep 20 2017 08:43:30 UTC

修改为

server.info=Apache Tomcat/8.0.0
server.number=8.0.0
server.built=Sep 20 2017 08:43:30 UTC

重启eclipse，这下可以添加tomcat8.5.20了。