> On Nov 25, 2019, at 1:54 PM, Alex Buckley <alex.buckley at 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.