Re: [hibernate-dev] Stuck build on CI