public static Mapping Deserialize(Stream s) { return ((Mapping)(Serializer.Deserialize(s))); } #endregion