Change in jenkins[master]: nightly 4.1 publisher: modified to use only 4.1 jobs