See <https://builds.apache.org/job/ODE-trunk-jdk6/720/>
- Build failed in Jenkins: ODE-trunk-jdk6 #718 Apache Jenkins Server
- Build failed in Jenkins: ODE-trunk-jdk6 #719 Apache Jenkins Server
- Jenkins build is back to normal : ODE-trunk... Apache Jenkins Server
