--- old/src/java.compiler/share/classes/javax/lang/model/util/ElementScanner9.java 2018-12-05 13:51:40.359320155 -0800
+++ new/src/java.compiler/share/classes/javax/lang/model/util/ElementScanner9.java 2018-12-05 13:51:40.127436147 -0800
@@ -34,7 +34,7 @@
/**
* A scanning visitor of program elements with default behavior
* appropriate for source versions {@link SourceVersion#RELEASE_9
- * RELEASE_9} through {@link SourceVersion#RELEASE_12 RELEASE_12}.
+ * RELEASE_9} through {@link SourceVersion#RELEASE_13 RELEASE_13}.
*
* The visitXyz
methods in this
* class scan their component elements by calling {@code scan} on
@@ -92,7 +92,7 @@
* @since 9
* @spec JPMS
*/
-@SupportedSourceVersion(RELEASE_12)
+@SupportedSourceVersion(RELEASE_13)
public class ElementScanner9 extends ElementScanner8 {
/**
* Constructor for concrete subclasses; uses {@code null} for the