Update some jenkins properties