Re: [jboss-rpm] New version of jboss-as submitted