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