--- old/src/java.compiler/share/classes/javax/lang/model/util/ElementKindVisitor9.java 2018-12-05 13:51:39.571714127 -0800
+++ new/src/java.compiler/share/classes/javax/lang/model/util/ElementKindVisitor9.java 2018-12-05 13:51:39.347826118 -0800
@@ -34,7 +34,7 @@
* A visitor of program elements based on their {@linkplain
* ElementKind kind} with default behavior appropriate for source
* versions {@link SourceVersion#RELEASE_9 RELEASE_9} through {@link
- * SourceVersion#RELEASE_12 RELEASE_12}.
+ * SourceVersion#RELEASE_13 RELEASE_13}.
*
* For {@linkplain
* Element elements} Xyz
that may have more than one
@@ -80,7 +80,7 @@
* @since 9
* @spec JPMS
*/
-@SupportedSourceVersion(RELEASE_12)
+@SupportedSourceVersion(RELEASE_13)
public class ElementKindVisitor9 extends ElementKindVisitor8 {
/**
* Constructor for concrete subclasses; uses {@code null} for the