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

*** 80,90 ****
       * for the default value.
       *
       * @deprecated Release 7 is obsolete; update to a visitor for a newer
       * release level.
       */
!     @Deprecated
      protected TypeKindVisitor7() {
          super(null); // Superclass constructor deprecated too
      }
  
      /**
--- 80,90 ----
       * for the default value.
       *
       * @deprecated Release 7 is obsolete; update to a visitor for a newer
       * release level.
       */
!     @Deprecated(since="12")
      protected TypeKindVisitor7() {
          super(null); // Superclass constructor deprecated too
      }
  
      /**
*** 94,104 ****
       * @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 TypeKindVisitor7(R defaultValue) {
          super(defaultValue); // Superclass constructor deprecated too
      }
  
      /**
--- 94,104 ----
       * @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 TypeKindVisitor7(R defaultValue) {
          super(defaultValue); // Superclass constructor deprecated too
      }
  
      /**