@$pb.TagNumber(14) $core.String get defaultJson => $_getSZ(13);
@$pb.TagNumber(14) set defaultJson($core.String value) => $_setString(13, value);