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

*** 83,93 ****
       * default value.
       *
       * @deprecated Release 7 is obsolete; update to a visitor for a newer
       * release level.
       */
!     @Deprecated
      protected ElementKindVisitor7() {
          super(null); // Superclass constructor deprecated too
      }
  
      /**
--- 83,93 ----
       * default value.
       *
       * @deprecated Release 7 is obsolete; update to a visitor for a newer
       * release level.
       */
!     @Deprecated(since="12")
      protected ElementKindVisitor7() {
          super(null); // Superclass constructor deprecated too
      }
  
      /**
*** 97,107 ****
       * @param defaultValue the value to assign to {@link #DEFAULT_VALUE}
       *
       * @deprecated Release 7 is obsolete; update to a visitor for a newer
       * release level.
       */
!     @Deprecated
      protected ElementKindVisitor7(R defaultValue) {
          super(defaultValue); // Superclass constructor deprecated too
      }
  
      /**
--- 97,107 ----
       * @param defaultValue the value to assign to {@link #DEFAULT_VALUE}
       *
       * @deprecated Release 7 is obsolete; update to a visitor for a newer
       * release level.
       */
!     @Deprecated(since="12")
      protected ElementKindVisitor7(R defaultValue) {
          super(defaultValue); // Superclass constructor deprecated too
      }
  
      /**