JBoss AS 7.1.1 Final JSP Auto Deploy

Исправление для ошибки с редеплоем изменённых JSP в JBoss AS 7.1.1 Final (обсуждение на форуме)

1. В файле конфигурации standalone.xml в <subsystem xmlns="urn:jboss:domain:web:1.1" default-virtual-server="default-host" native="false"> добавить
   <configuration>
     <jsp-configuration development="true"/>
   </configuration>
2. Скачать исправленный jboss-as-web-7.1.1.Final-RECOMPILE.jar и поместить в папку jboss-as-7.1.1.Final/modules/org/jboss/as/web/main/
3. В той же папке исправить файл module.xml (jboss-as-7.1.1.Final/modules/org/jboss/as/web/main/module.xml) - найти и закомментировать строку с упоминанием jboss-as-web-7.1.1.Final.jar и добавить новую:
   <!--resource-root path="jboss-as-web-7.1.1.Final.jar"/-->
   <resource-root path="jboss-as-web-7.1.1.Final-RECOMPILE.jar"/>
4. ??????
5. PROFIT

Как вариант можно использовать свежую nightly сборку (описание на форуме, ссылка на страничку Jenkins, ссылка на закачку артефакта).