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

@@ -69,10 +69,10 @@
      * Constructor for concrete subclasses to call.
      *
      * @deprecated Release 7 is obsolete; update to a visitor for a newer
      * release level.
      */
-    @Deprecated
+    @Deprecated(since="12")
     protected AbstractElementVisitor7(){
         super(); // Superclass constructor deprecated too
     }
 }