Проблема с развертыванием JBoss WAR (проблемы с кэшированием?)

Я пытаюсь развернуть свой военный файл на JBoss 4.2.3. Это приложение работало нормально и до сих пор работает нормально (без исправления, которое я добавил в свой код). Я создал новый военный файл с исправлением ошибки (что включает в себя передачу некоторых дополнительных параметров HTTP-запроса при запросе сервлета другого приложения). Однако, когда я попытался развернуть этот, казалось бы, безобидный файл войны, я вижу журналы консоли от Jboss, в которых говорится, что новый файл войны был развернут и т. д. Однако я не вижу, чтобы мои изменения отражались в браузере (т. е. дополнительные параметры не отправляются в запросе). Я убедился, что военный файл, попавший в /server/default/deploy, точно такой же (те же самые cksum). Я попробовал эти несколько обычных трюков, но безрезультатно: удалил старый военный файл с сервера перед развертыванием нового, перезапустил сервер, чтобы освободить все кешированные данные. Даже поместите возврат в мой сервлет в точке входа. Но все равно никакой разницы! Сервлет работает так же, как и раньше, без исправления. Какие-либо предложения? Я прошу вас оказать мне любезную помощь. Я немного облажался, если это не сработает.