See <https://builds.apache.org/job/Any23%20trunk/org.deri.any23$any23-core/changes>
- Jenkins build is unstable: Any23 trunk » Any23 - Cor... Apache Jenkins Server
- Jenkins build is still unstable: Any23 trunk » ... Apache Jenkins Server
- Jenkins build is still unstable: Any23 trun... Apache Jenkins Server
- Jenkins build is still unstable: Any23 ... Apache Jenkins Server
- Jenkins build is still unstable: An... Apache Jenkins Server
- Jenkins build is still unstabl... Apache Jenkins Server
- Jenkins build is back to s... Apache Jenkins Server
