See <https://builds.apache.org/job/doxia-tools/jdk=JDK%201.7%20(latest),label=ubuntu/88/display/redirect?page=changes>
- Build failed in Jenkins: doxia-tools » JDK 1.7 (late... Apache Jenkins Server
- Jenkins build is back to normal : doxia-tools »... Apache Jenkins Server
