Change in jenkins[master]: publisher: drop 4.0 publisher