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