Change in jenkins[master]: Take Java SDK version 4 from the 4.1 branch