Re: [hibernate-dev] Update Jenkins plugins