Change in jenkins[master]: adding more missing projects to 4.1