[Pollen-devel] Jenkins build is back to normal : pollen-1.5.x #18