src/java.compiler/share/classes/javax/lang/model/util/ElementScanner9.java

*** 32,42 ****
  
  
  /**
   * 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}.
   *
   * The <code>visit<i>Xyz</i></code> methods in this
   * class scan their component elements by calling {@code scan} on
   * their {@linkplain Element#getEnclosedElements enclosed elements},
   * {@linkplain ExecutableElement#getParameters parameters}, etc., as
--- 32,42 ----
  
  
  /**
   * A scanning visitor of program elements with default behavior
   * appropriate for source versions {@link SourceVersion#RELEASE_9
!  * RELEASE_9} through {@link SourceVersion#RELEASE_13 RELEASE_13}.
   *
   * The <code>visit<i>Xyz</i></code> methods in this
   * class scan their component elements by calling {@code scan} on
   * their {@linkplain Element#getEnclosedElements enclosed elements},
   * {@linkplain ExecutableElement#getParameters parameters}, etc., as
*** 90,100 ****
   * @see ElementScanner7
   * @see ElementScanner8
   * @since 9
   * @spec JPMS
   */
! @SupportedSourceVersion(RELEASE_12)
  public class ElementScanner9<R, P> extends ElementScanner8<R, P> {
      /**
       * Constructor for concrete subclasses; uses {@code null} for the
       * default value.
       */
--- 90,100 ----
   * @see ElementScanner7
   * @see ElementScanner8
   * @since 9
   * @spec JPMS
   */
! @SupportedSourceVersion(RELEASE_13)
  public class ElementScanner9<R, P> extends ElementScanner8<R, P> {
      /**
       * Constructor for concrete subclasses; uses {@code null} for the
       * default value.
       */