JBoss Tools 3.1.0.GA adds a library to Eclipse called "J2EE 5.0 libraries (JBoss Tools)". The name of this library suggests it's the full Java EE 5 API, however upon inspection it appears to be a subset:

javax.annotation
javax.ejb
javax.enterprise.deploy
javax.jms
javax.persistence
javax.resource
javax.security.jacc
javax.servlet
javax.transaction
javax.xml

Among others, javax.faces and javax.mail are missing.

Additionally, the name of the library is not consistent. In project -> properties -> Java Build Path -> Add Library... it's called "JEE 5.0 libraries", but after adding it to a project it's referred to as "J2EE 5.0 libraries (JBoss Tools)". I think "Java EE 5 libraries" would be the best name as both "JEE 5.0" and "J2EE 5.0" are not official terms.