jenkins bug