See <https://builds.apache.org/job/Empire-db%20snapshot/421/>
- Build failed in Jenkins: Empire-DB snapshot #417 Apache Jenkins Server
- Build failed in Jenkins: Empire-DB snapshot #41... Apache Jenkins Server
- Build failed in Jenkins: Empire-db snapshot... Apache Jenkins Server
- Build failed in Jenkins: Empire-db snap... Apache Jenkins Server
- Jenkins build is back to normal : E... Apache Jenkins Server
- Fwd: Jenkins build is back to ... Francis De Brabandere
- re: Jenkins build is back ... Rainer Döbele
- re: Jenkins build is b... Francis De Brabandere
