Upgrade to Jenkins 1.554.2 (#395)