Record class

A Java class declared from record components, with compiler-derived fields, accessors, construction, and value methods.