See <http://jenkins.buildacloud.org/job/build-systemvm64-4.2/304/>
- Build failed in Jenkins: build-systemvm64-4.2 #302 jenkins
- Build failed in Jenkins: build-systemvm64-4.2 #303 jenkins
- Jenkins build is back to normal : build-systemvm64-4.2 #3... jenkins
