public override void Print (AbstractMessage msg)
{
//
// This line is useful when debugging recorded messages
//
// Console.WriteLine ("RECORDING: {0}", msg.ToString ());
if (session_messages == null)
session_messages = new List<AbstractMessage> ();
session_messages.Add (msg);
base.Print (msg);
}