I found a potential solution for that problem in a different context:
describes a workaround for a IndexOutOfBoundException in Tomcat on high request rates.
(We encountered the problem running stress-tests on our system.)
The solution is to set the following JVM-property when starting JBoss:
This seems to solve the run-as-role problem described above as well!