hg: amber/amber: Automatic merge with records-and-sealed

[maurizio.cimadamore at oracle.com]

Changeset: 0fbfd52012af
Author:    mcimadamore
Date:      2019-08-19 20:05 +0000
URL:       https://hg.openjdk.java.net/amber/amber/rev/0fbfd52012af

Automatic merge with records-and-sealed

! src/java.base/share/classes/java/lang/annotation/ElementType.java
! test/langtools/tools/javac/records/RecordCompilationTests.java