[Tutti-commits] Jenkins build became unstable: tutti #726