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

[Joe Darcy]

Changeset: 3ce1240c
Author:    Joe Darcy <darcy at openjdk.org>
Date:      2023-06-12 18:14:27 +0000
URL:       https://git.openjdk.org/jdk/commit/3ce1240ca1b4139980444c171e317f4bfeff9314

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

Reviewed-by: jjg

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