#900: jenkins integration update