Contributes to
https://github.com/eclipse-platform/eclipse.platform.releng.aggregator/pull/1531.
It's a pity that this takes multiple cycles but fixing one thing from
the log uncovers the next.