See <https://builds.apache.org/job/Pivot-maintenance/721/>
- Build failed in Jenkins: Pivot-maintenance #719 Apache Jenkins Server
- Build failed in Jenkins: Pivot-maintenance #720 Apache Jenkins Server
- Jenkins build is back to normal : Pivot-mai... Apache Jenkins Server
