--- old/src/java.compiler/share/classes/javax/lang/model/util/ElementScanner7.java	2019-01-07 23:13:33.028000000 -0800
+++ new/src/java.compiler/share/classes/javax/lang/model/util/ElementScanner7.java	2019-01-07 23:13:32.836000000 -0800
@@ -98,7 +98,7 @@
      * @deprecated Release 7 is obsolete; update to a visitor for a newer
      * release level.
      */
-    @Deprecated
+    @Deprecated(since="12")
     protected ElementScanner7(){
         super(null); // Superclass constructor deprecated too
     }
@@ -112,7 +112,7 @@
      * @deprecated Release 7 is obsolete; update to a visitor for a newer
      * release level.
      */
-    @Deprecated
+    @Deprecated(since="12")
     protected ElementScanner7(R defaultValue){
         super(defaultValue); // Superclass constructor deprecated too
     }