We are currently developing a JSR-77 Management Console and found that JBoss's class "org.jboss.management.j2ee.ResourceAdapter" which represents the JSR-77 j2eeType "ResourceAdapter" is not spec complient.

It must have an attribute "jcaResource" but JBoss has named the attribute "JcaResource" with a capital letter.

Where should I post this bug?