I really don't know. Who can confirm us what the jboss-bom-enterprise-version should it use ? WFK or EAP ?