protected override void setJSON(JObject obj, BaseClassIfc host, HashSet<int> processed) { base.setJSON(obj, host, processed); if (mDatabase.Release == ReleaseVersion.IFC2x3 && mName != "$") obj["ProfileName"] = Name; obj["ProfileDefinition"] = ProfileDefinition.getJson(this, processed); }