public override Dump Dump() { DumpWithHeader dump = new DumpWithHeader(); dump.Header = "VESSEL '" + Vessel.vesselName + "'"; dump.Add(DumpGuid, Vessel.id.ToString()); return dump; }