Change in jenkins[master]: publisher: 4.0: switch to branched versions