Update to Jenkins 1.588