@$pb.TagNumber(11) $core.String get defaultValue => $_getSZ(9);
@$pb.TagNumber(11) set defaultValue($core.String v) { $_setString(9, v); }