jbossas/jboss-as — pull request #3817 by baranowb (2013-01-08 11:19:03+00:00)
Title: AS7.1-6031

Port of https://github.com/jbossas/jboss-as/pull/3816 to 7.1 branch