Jenkins build is back to stable : Any23-trunk » Any23 - Core Module #31

[Apache Jenkins Server]

See <https://builds.apache.org/job/Any23-trunk/org.deri.any23$any23-core/31/>