public virtual void EmitErrorMessage( string msg ) { if (TraceDestination != null) TraceDestination.WriteLine( msg ); }