some misc code simplifications in Records

[gavinking]

No description provided.

[njr-11]

The changes look correct, but a general comment is that although the use of String addition does make the code more concise, repeated String concatenation is also less efficient than StringBuilder.

[gavinking]

repeated String concatenation is also less efficient than StringBuilder.

I don't think that's been true for a long time. String concatenation used to desugar to StringBuilder.append(), but in modern versions of Java (9 and above) it compiles to something even more efficient.

(It still makes sense to use StringBuilder in a loop or when you have conditional logic, however.)