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

[Jonathan Gibbons]

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

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

Marked as reviewed by jjg (Reviewer).

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

PR Review: https://git.openjdk.org/jdk21/pull/10#pullrequestreview-1475702072