/// <summary> /// Internal use only /// </summary> public void DumpFile(string file) { BinaryXmlReader.DumpFile(file); }