Change in jenkins[master]: replace 4.0.0 with 4.0.1 branch for running jobs