Upgrade to Jenkins 1.588