Summary of changes to JSR 269 for Java SE 20

The proposed changes to JSR 269 for Java SE 20 include:

• Customary changes to support a new platform version, additional enum constant in SourceVersion, etc.
• Better support for record constructors
• Miscellaneous cleanups and clarifications