Re: [hibernate-dev] Jenkins configuration?