See <https://ci-builds.apache.org/job/Jena/job/Jena_Development_Test/416/display/redirect?page=changes>
- Jenkins build became unstable: Jena » Jena_Developm... Apache Jenkins Server
- Jenkins build is back to stable : Jena » Jena_D... Apache Jenkins Server