@@ -84,10 +84,11 @@ * @param <P> the type of the additional parameter to this visitor's * methods. Use {@code Void} for visitors that do not need an * additional parameter. * * @see ElementScanner6 + * @see ElementScanner8 * @since 1.7 */ @SupportedSourceVersion(RELEASE_7) public class ElementScanner7<R, P> extends ElementScanner6<R, P> { /**