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

Wed May 3 17:35:21 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.

This pull request has now been integrated.

Changeset: 3930709a
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/3930709af40c2524622f379e16b90a0226bedf2a
Stats:     21 lines in 4 files changed: 17 ins; 2 del; 2 mod

8068925: Add @Override in javax.tools classes

Reviewed-by: darcy, iris

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

PR: https://git.openjdk.org/jdk/pull/13766