See <https://builds.apache.org/hudson/job/dir-studio-jdk15-ubuntu-deploy/256/>
- Build failed in Jenkins: dir-studio-jdk15-ubuntu-dep... Apache Jenkins Server
- Build failed in Jenkins: dir-studio-jdk15-ubunt... Apache Jenkins Server
- Build failed in Jenkins: dir-studio-jdk15-u... Apache Jenkins Server
- Jenkins build is back to normal : dir-s... Apache Jenkins Server