protected new void WriteProgress(ProgressRecord progressRecord) { FlushDebugMessages(); base.WriteProgress(progressRecord); }