See <http://jenkins.buildacloud.org/job/build-master-noredist/4019/changes>
- Build failed in Jenkins: build-master-noredist #4013 jenkins
- Build failed in Jenkins: build-master-noredist #4014 jenkins
- Build failed in Jenkins: build-master-noredist #4015 jenkins
- Build failed in Jenkins: build-master-noredist #4016 jenkins
- Build failed in Jenkins: build-master-noredist #4... jenkins
- Build failed in Jenkins: build-master-noredi... jenkins
- Jenkins build is back to normal : build-... jenkins