Rename variables called "record"

[alecgrieser]

In Java 14, the JDK introduced "record" as a type of restricted class for "plain data carrying". See: https://docs.oracle.com/en/java/javase/14/language/records.html

That seems pretty useful, but unfortunately, it introduces the "record" keyword into the Java language. We have a fair number of variables (local variables, parameter names, etc.) called "record", as you might expect for something called the "record layer". We will need to go through and rename all of those to be Java 14 language compatible.

[MMcM]

Apparently record is a "contextual keyword." A variable can still be named that (just as one can say var var).

It's still a good idea to rename everything to make tools happy.