protected override void setJSON(JObject obj, BaseClassIfc host, HashSet <int> processed) { base.setJSON(obj, host, processed); obj["HasProperties"] = new JArray(HasProperties.ConvertAll(x => x.getJson(this, processed))); }