Map<String, dynamic> toJson() { var json = <String, dynamic>{}; json['configs'] = configs .map((key, value) => MapEntry(key.toShortString(), value.toJson())); return json; }