See <https://builds.apache.org/job/dist-tool-plugin/2943/display/redirect>
- Build failed in Jenkins: dist-tool-plugin #2933 Apache Jenkins Server
- Build failed in Jenkins: dist-tool-plugin #2934 Apache Jenkins Server
- Build failed in Jenkins: dist-tool-plugin #2935 Apache Jenkins Server
- Build failed in Jenkins: dist-tool-plugin #2936 Apache Jenkins Server
- Build failed in Jenkins: dist-tool-plugin #2937 Apache Jenkins Server
- Build failed in Jenkins: dist-tool-plugin #2938 Apache Jenkins Server
- Build failed in Jenkins: dist-tool-plugin #2939 Apache Jenkins Server
- Build failed in Jenkins: dist-tool-plugin #2940 Apache Jenkins Server
- Build failed in Jenkins: dist-tool-plugin #2941 Apache Jenkins Server
- Build failed in Jenkins: dist-tool-plugin #2942 Apache Jenkins Server
- Jenkins build is back to normal : dist-tool-plugin #... Apache Jenkins Server
