[Pollen-devel] Jenkins build became unstable: pollen #1173