git: openjdk/amber: sealed-types: minor fix to Elements API

[Vicente Romero]

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

minor fix to Elements API

! src/java.compiler/share/classes/javax/lang/model/util/Elements.java