public override void error(ZorbaException exception) { System.Console.WriteLine("Exception catched in MyDiagnosticHandler"); System.Console.WriteLine("Description: " + exception.getDescription()); }