Upgrade to Jenkins 1.509.4 (#298)