JBoss AS 7.1.1 uses hibernate-entitymanager-4.0.1.Final.jar; I'd prefer using that one here as well