--- old/src/java.compiler/share/classes/javax/lang/model/util/ElementScanner14.java	2019-12-10 11:16:43.652874000 -0800
+++ new/src/java.compiler/share/classes/javax/lang/model/util/ElementScanner14.java	2019-12-10 11:16:43.484958000 -0800
@@ -102,7 +102,7 @@
  */
 @jdk.internal.PreviewFeature(feature=jdk.internal.PreviewFeature.Feature.RECORDS,
                              essentialAPI=false)
-@SupportedSourceVersion(RELEASE_14)
+@SupportedSourceVersion(RELEASE_15)
 public class ElementScanner14<R, P> extends ElementScanner9<R, P> {
     /**
      * Constructor for concrete subclasses; uses {@code null} for the