internal void Message(System.String message) { if (infoStream != null) writer.Message("DW: " + message); }