[Pollen-commits] Jenkins build is back to normal : pollen #3