RFR: JDK-8068925: Add @Override in javax.tools classes

Wed May 3 00:40:16 UTC 2023

On Tue, 2 May 2023 23:53:55 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review a simple update to add `@Override` annotations where appropriate in the `javax.tools` API, and one other minor opportunistic cleanup to use an `instanceof` pattern.

Marked as reviewed by darcy (Reviewer).

-------------

PR Review: https://git.openjdk.org/jdk/pull/13766#pullrequestreview-1410044906