jenkins xml dingen toegevoegd