protected override void setJSON(JObject obj, BaseClassIfc host, HashSet<int> processed) { base.setJSON(obj, host, processed); setAttribute(obj, "ElementType", ElementType); } }