protected override void setJSON(JObject obj, BaseClassIfc host, SetJsonOptions options)
{
base.setJSON(obj, host, options);
if (mHasProperties.Count > 0)
{
obj["HasProperties"] = new JArray(HasProperties.ToList().ConvertAll(x => x.getJson(this, options)));
}
}