Change in jenkins[master]: Added possible json option value encoding