protected override void setJSON(JObject obj, BaseClassIfc host, HashSet<int> processed) { base.setJSON(obj, host, processed); obj["PredefinedType"] = mPredefinedType.ToString(); }