See <https://builds.apache.org/job/Derby-10.11-suites.All/9/changes>
- Jenkins build became unstable: Derby-10.11-suites.A... Apache Jenkins Server
- Jenkins build is still unstable: Derby-10.11-su... Apache Jenkins Server
- Re: Jenkins build is still unstable: Derby-... Knut Anders Hatlen
- Jenkins build is back to stable : Derby-10.... Apache Jenkins Server