Integrated: 8309870: Using -proc:full should be considered requesting explicit annotation processing

[Joe Darcy]

On Mon, 12 Jun 2023 19:35:39 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> Minor fix to new-in-JDK-21 functionality.

This pull request has now been integrated.

Changeset: b7434050
Author:    Joe Darcy <darcy at openjdk.org>
URL:       https://git.openjdk.org/jdk21/commit/b74340503317feab323a69835ac3969f8756bfc1
Stats:     10 lines in 2 files changed: 8 ins; 0 del; 2 mod

8309870: Using -proc:full should be considered requesting explicit annotation processing

Reviewed-by: jjg
Backport-of: 3ce1240ca1b4139980444c171e317f4bfeff9314

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

PR: https://git.openjdk.org/jdk21/pull/10