Бывает нужно определить версию установленного веб-сервера Tomcat. Для этого нужно: 1. Найти файл $TOMCAT_HOME/server/lib/catalina.jar
2. В нем найти файл org/apache/catalina/util/ServerInfo.properties
3. В этом файле указана версия Tomcat