Бывает нужно определить версию установленного веб-сервера Tomcat. Для этого нужно:
1. Найти файл $TOMCAT_HOME/server/lib/catalina.jar

2. В нем найти файл org/apache/catalina/util/ServerInfo.properties

3. В этом файле указана версия Tomcat