git: openjdk/jdk21: 8309870: Using -proc:full should be considered requesting explicit annotation processing

[Joe Darcy]

Changeset: b7434050
Author:    Joe Darcy <darcy at openjdk.org>
Date:      2023-06-12 20:03:42 +0000
URL:       https://git.openjdk.org/jdk21/commit/b74340503317feab323a69835ac3969f8756bfc1

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

Reviewed-by: jjg
Backport-of: 3ce1240ca1b4139980444c171e317f4bfeff9314

! src/jdk.compiler/share/classes/com/sun/tools/javac/main/JavaCompiler.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/main/Option.java