Change in jenkins[master]: Don't try to build Java SDK 4 using standard CI