I ended up compiling JBoss 7.2 from github along with a modified JBoss web. More work than I wanted but will do the job until there is an official build with this fix :)
Reply to this message by going to Community
Start a new discussion in Beginner's Corner at Community