Во время выполнения tomcat будет использовать свой собственный, поскольку загрузчик классов исключит любой jar с javax.servlet.Servlet
в нем. Если вам действительно нужно скомпилировать его, вам придется сделать это в ant-скрипте и либо скопировать его, либо сослаться на него в classpath компиляции.
Что касается других вещей, то загрузка ivy по требованию является хорошей идеей, поскольку она предотвратит загрузку jvy jar в репозиторий проекта, как я делал это в прошлом, независимо от того, загружаете ли вы его в каталог проекта или пользователь home вопрос личных предпочтений. Кэш ivy, с другой стороны, должен использоваться совместно с другими проектами, поэтому домашний каталог пользователя является хорошим местом.
Построение файла войны ничем не отличается после того, как вы сделали ivy: извлекайте файлы, необходимые для работы с jar, локально для проекта, просто используйте задачу ant war, чтобы создать войну как обычно. Это одно из преимуществ ivy: после загрузки jar-файлов больше не нужно ничего делать в сборке, и вы можете просто использовать ant для компиляции и упаковки вашего проекта.
Быстро взглянул на ваш файл сборки, выглядит совершенно вменяемым.
Надеюсь, это поможет.