I thought the RichFaces community would be interested in this. Starting with JBoss AS7.2, you can install any JSF implementation and use it as if it were the one that shipped with AS. Both Mojarra and MyFaces are fully integrated with the JEE infrastructure of AS7.2.
For more information see:
http://jsfunit.blogspot.com/2012/11/multi-jsf-is-here-use-any-jsf-in-jboss.html
Design of AS7 multi-JSF feature
You can start using this right away with the latest nightly build of JBoss AS. Please let me know if you have any questions or find any bugs.
Stan