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

@@ -80,11 +80,11 @@
      * for the default value.
      *
      * @deprecated Release 7 is obsolete; update to a visitor for a newer
      * release level.
      */
-    @Deprecated
+    @Deprecated(since="12")
     protected TypeKindVisitor7() {
         super(null); // Superclass constructor deprecated too
     }
 
     /**

@@ -94,11 +94,11 @@
      * @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
+    @Deprecated(since="12")
     protected TypeKindVisitor7(R defaultValue) {
         super(defaultValue); // Superclass constructor deprecated too
     }
 
     /**