fixing jenkins settings