/// <summary>
/// Wrapper over Dispose() of ITraceListener.
/// Also resets the standard output/error streams.
/// </summary>
/// <param name="traceListener">The trace listener instance.</param>
public void Dispose(ITraceListener traceListener)
{
traceListener.Dispose();
Console.SetOut(this.origStdOut);
Console.SetError(this.origStdErr);
}
