[jboss-as7-dev] JBoss Java EE API sources moved to GIT