Начиная с версии 4.0.3, JBoss начал включать в себя Apache MyFaces. В связи с этим, если вы хотите использовать Sun'овскую реализацию JSF, то у вас ничего не будет работать, а будут появляться непонятные ошибки. Чтобы их не было, необходимо удалить целиком папку jboss/server/XXX/deploy/jbossweb-tomcat55.sar/jsf-libs¹⁾ из поставки JBoss'а.

С другой стороны, если вы будете использовать MyFaces, то вам не понадобится включать его JAR'ы в свои веб-приложения. Хотя это спорный плюс, особенно если вы пользуетесь Maven'ом.