Приложение создано с использованием весенней загрузки версии 1.2.5 Release. Я вижу, что он включает в себя встроенную версию Tomcat, которая является 8.0.23. Можно ли перейти на последнюю версию tomcat, скажем, tomcat 9 с весенней загрузкой 1.2.5, и при этом запустить приложение? Или нам нужно обновить версию весенней загрузки, чтобы она была совместима с tomcat 9? Есть ли документация для совместимости весенней загрузки с Tomcat? Спасибо.