--- a/src/java.compiler/share/classes/javax/lang/model/util/ElementKindVisitor7.java	Sat Jan 05 10:48:54 2019 +0800
+++ b/src/java.compiler/share/classes/javax/lang/model/util/ElementKindVisitor7.java	Tue Jan 08 16:26:46 2019 -0800
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2010, 2018, Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 2010, 2019, Oracle and/or its affiliates. All rights reserved.
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
  * This code is free software; you can redistribute it and/or modify it
@@ -85,7 +85,7 @@
      * @deprecated Release 7 is obsolete; update to a visitor for a newer
      * release level.
      */
-    @Deprecated
+    @Deprecated(since="12")
     protected ElementKindVisitor7() {
         super(null); // Superclass constructor deprecated too
     }
@@ -99,7 +99,7 @@
      * @deprecated Release 7 is obsolete; update to a visitor for a newer
      * release level.
      */
-    @Deprecated
+    @Deprecated(since="12")
     protected ElementKindVisitor7(R defaultValue) {
         super(defaultValue); // Superclass constructor deprecated too
     }