Max,
I think I was mistaken on the last comment. I used to get the JSF 2.0 and 1.2 libraries on JBDS5-M2. Just tried it again in JBDS5-M3 and the issue looks to be resolved, only JSF 2.0 libraries now. I also seem to be getting
<JBossAS7_Home>/modules/javax
<JBossAS7_Home>/modules/org/hibernate/validator
<JBossAS7_Home>/modules/org/picketbox
<JBossAS7_Home>/modules/org/jboss/logging
<JBossAS7_Home>/modules/org/jboss/dmr
<JBossAS7_Home>/modules/org/jboss/as/controller-client
<JBossAS7_Home>/modules/org/jboss/resteasy
which look to be expanded from what was available in JBDS5-M2 as I only saw javax libraries there.
Robert