Class AutoValue_RecordDefinition