Pour corriger le problème de facettes de votre projet :

Clic droit sur votre projet -> "Properties" -> "Projet Facets" -> "Runtimes" -> décocher votre Jboss v4.2 et cocher le nouveau Jboss v5.0