[Pollen-devel] Build failed in Jenkins: pollen » Pollen #1315