Change in jenkins[master]: make 4.0 publisher use otopi-1.5 branch