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