Is there any change to the Java getter/setter conventions (getValue() and setValue()) with the recent introduction of records? I'm asking because it seems odd to use the get/set prefixes in conjunction with the value() variant generated from records across a codebase.
Cheers
