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

*** 69,78 ****
       * Constructor for concrete subclasses to call.
       *
       * @deprecated Release 7 is obsolete; update to a visitor for a newer
       * release level.
       */
!     @Deprecated
      protected AbstractElementVisitor7(){
          super(); // Superclass constructor deprecated too
      }
  }
--- 69,78 ----
       * Constructor for concrete subclasses to call.
       *
       * @deprecated Release 7 is obsolete; update to a visitor for a newer
       * release level.
       */
!     @Deprecated(since="12")
      protected AbstractElementVisitor7(){
          super(); // Superclass constructor deprecated too
      }
  }