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