git: openjdk/amber: sealed-types: additional adjustments

[Vicente Romero]

Changeset: c542daf6
Author:    Vicente Romero <vicente.romero at oracle.com>
Date:      2020-05-18 18:07:18 +0000
URL:       https://git.openjdk.java.net/amber/commit/c542daf6

additional adjustments

! src/jdk.compiler/share/classes/com/sun/tools/javac/code/Flags.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Check.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/TypeEnter.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/resources/compiler.properties