Re: [jboss-dev] build of trunk failed