Re: [jboss-dev] build script for the repository