I ran our contribution via Gerrit, see
though unfortunately a later build overwrote the repository on the download server but not on Nexus
(since that doesn't allow re-deployment of a release build). Hence our contribution broke somewhen later
and I wasn't available at that time anymore since I left for a long weekend.
I restored the original repository from Nexus. I am considering to use a Nexus URL next time
since it would have prevented that a later build could overwrite a release candidate build.