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

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