Re: [hibernate-dev] Jenkins build became unstable: hibernate-search-master-mariadb #244