Annotation processing causes spurious reporting in Problem pane

Environment

• Operating System: Ubuntu Focal 20.04.6
• JDK version: 17.0.7
• Visual Studio Code version: 1.82.2
• Extensions:
  • vscjava.vscode-java-pack 0.25.14
  • vscjava.vscode-java-debug 0.54.0
  • redhat.java 1.22.1
  • vscjava.vscode-maven 0.42.0
  • vscjava.vscode-java-dependency 0.23.1
  • vscjava.vscode-java-test 0.39.1

Steps To Reproduce

0. Unzip the attached project.zip file into an otherwise empty directory
1. Start code bug.code-workspace
2. Ensure that a text editor is not open for Foo.java
3. Click that you trust the author of this workspace (to enable debugging)
4. Observe that no problems are reported in the Problems pane
5. Open the file src/test/java/com/example/QuxTest.java from the Explorer pane
6. Right-click the triangular play icon next to public class QuxTest
7. Choose Debug Test from the context menu
8. Notice that a problem appear in the Problems pane for file Foo.java:
   "The method b() is undefined for the type Mumble"
9. Click on the problem to open file src/main/java/com/example/Foo.java
10. Notice that the problem disappears by itself as the editor for Foo.java opens
11. Close the editor for Foo.java
12. Exit VSCode
13. Restart VSCode, as in point 1.
14. Observe that the problem reappears in the Problem pane, this time without opening the debugger.

Current Result:

A problem is reported for the class used in an annotation.

Expected Result:

No problems should be reported.

Additional Informations:

I reckon that this problem is related to annotation processing inserting stubs for the depended-on classes, and then these stubs aren't resolved properly. It started to appear related to the debugger a couple of minor versions ago, but from 1.82.2 it also happens every time the project is loaded, after it has been triggered by the debugger initially.

@testforstephen In microsoft/vscode-java-debug issue #1247 you asked for a minimal example. This looks a lot like it is related, so maybe this could be used?

project.zip

解压 project.zip 并按照编号的 VS Code 重现步骤操作，比较 Debug Test 前后以及重启前后的 Problems-pane 诊断结果。使用 Foo.java 和 QuxTest.java 作为最小案例；完成的标准是，annotation 使用的类在两种流程中都不再产生“method b() is undefined for the type Mumble”问题。