@@ -69,11 +69,11 @@ * 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 AbstractTypeVisitor7() { super(); // Superclass constructor deprecated too } /**