> On Nov 25, 2019, at 1:54 PM, Alex Buckley <alex.buck...@oracle.com> wrote: > > OK, though as an editorial matter, avoid a record recording something. Prefer > "... of a ClassFile structure. ***A `Record` attribute denotes information > about the components of a record type (JLS 8.10).***"
Good point. I've updated the spec source.
