Change in jenkins[master]: publisher: use 4.0 jobs for 4.0 publishing