TotalMagIntensityBuilder.fromJson(core.Map<String, dynamic> json) { var v = _$TotalMagIntensity.fromJson(json); replace(v); }