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

*** 96,106 ****
       * default value.
       *
       * @deprecated Release 7 is obsolete; update to a visitor for a newer
       * release level.
       */
!     @Deprecated
      protected ElementScanner7(){
          super(null); // Superclass constructor deprecated too
      }
  
      /**
--- 96,106 ----
       * default value.
       *
       * @deprecated Release 7 is obsolete; update to a visitor for a newer
       * release level.
       */
!     @Deprecated(since="12")
      protected ElementScanner7(){
          super(null); // Superclass constructor deprecated too
      }
  
      /**
*** 110,120 ****
       * @param defaultValue the default value
       *
       * @deprecated Release 7 is obsolete; update to a visitor for a newer
       * release level.
       */
!     @Deprecated
      protected ElementScanner7(R defaultValue){
          super(defaultValue); // Superclass constructor deprecated too
      }
  
      /**
--- 110,120 ----
       * @param defaultValue the default value
       *
       * @deprecated Release 7 is obsolete; update to a visitor for a newer
       * release level.
       */
!     @Deprecated(since="12")
      protected ElementScanner7(R defaultValue){
          super(defaultValue); // Superclass constructor deprecated too
      }
  
      /**