OK, thanks.
We're pushing for an EAP 5.1.2 update within the next month or so.
I had hoped to include a fix on the side, but we'll have to cope without...
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community