See <http://jenkins.buildacloud.org/job/build-master-noredist/3418/changes>
- Build failed in Jenkins: build-master-noredist #3415 jenkins
- Build failed in Jenkins: build-master-noredist #3416 jenkins
- Build failed in Jenkins: build-master-noredist #3417 jenkins
- Jenkins build is back to normal : build-master-noredi... jenkins