--- old/src/java.compiler/share/classes/javax/lang/model/util/ElementScanner14.java	2020-05-17 21:10:55.037751999 -0700
+++ new/src/java.compiler/share/classes/javax/lang/model/util/ElementScanner14.java	2020-05-17 21:10:54.785877999 -0700
@@ -85,7 +85,7 @@
  */
 @jdk.internal.PreviewFeature(feature=jdk.internal.PreviewFeature.Feature.RECORDS,
                              essentialAPI=false)
-@SupportedSourceVersion(RELEASE_15)
+@SupportedSourceVersion(RELEASE_16)
 public class ElementScanner14<R, P> extends ElementScanner9<R, P> {
     /**
      * Constructor for concrete subclasses; uses {@code null} for the