See <https://builds.apache.org/job/River-dev-jdk7/5/>
- Jenkins build is unstable: River-dev-jdk7 #3 Apache Jenkins Server
- Build failed in Jenkins: River-dev-jdk7 #4 Apache Jenkins Server
- Jenkins build is back to normal : River-dev... Apache Jenkins Server
