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