code: public void xmlWriteOn(FormattedWriter writer) throws IOException
    {
      writer.newLine();
      writer.taggedValue("tick", _tick);
      writer.taggedValue("protocolState", _protocolState);
    }
docs: Prints the Message Details to the xml output.