довал за следующими шагами

Отключение TomcatРазвернут файл войны с отметкой времени 1 декабряStart Tomcat - при этом создается развернутый каталог для развернутого файла войны.Стоп TomcatОбновлен файл войны с новым с отметкой времени от 3 декабряПерезапустите Tomcat

Я обнаружил, что при перезапуске Tomcat существующие файлы в ранее развернутой папке не обновлялись. Разве обновление файла war не должно обновлять соответствующий файл класса jsp?

Я посмотрел на документацию и нашел этоhttp://tomcat.apache.org/tomcat-5.5-doc/config/host.html, Следующая цитата в разделе «Автоматическое развертывание приложения»

В дополнение к автоматическому развертыванию, которое происходит во время запуска, вы также можете запросить, чтобы новые файлы конфигурации XML, файлы WAR или подкаталоги были вставлены в appBase (или
Каталог $ CATALINA_HOME / conf / [engine_name] / [host_name] в случае файла конфигурации XML) во время работы Tomcat будет автоматически развернут в соответствии с правилами, описанными выше. Автоматический развертыватель также будет отслеживать веб-приложения на наличие следующих изменений:

Обновление файла WEB-INF / web.xml приведет к перезагрузке веб-приложения.Обновление развернутой WAR приведет к отмене развертывания (с удалением расширенного веб-приложения), за которым следует развертывание.Обновление XML-файла конфигурации приведет к отмене развертывания (без удаления какого-либо расширенного каталога) с последующим развертыванием соответствующего веб-приложения.

Разве файлы не были автоматически обновлены в результате пункта 2 выше?

Autodeploy имеет значение true в server.xml