Industry mourns loss of IDC Chairman Mike Woodhall