Fields and methods of a record are marked MANDATED

[Remi Forax]

Hi all,
fields and methods of a record are marked ACC_MANDATED which contradict JLS 
13.1.12 that explains that you can not use ACC_MANDATED on field and method.

regards,
Rémi