Description
Sometimes the same problem displayed twice in Problems view.
To Reproduce
There is no exact steps to reproduce and I faced it only couple of times today. Both times it happens when I:
- Generated test for all methods in
org.utbot.examples.exceptions.ExceptionExamples from UTBot Java project, which was copied into dedicated project.
- It was TestNG test framework and JDK 17 as a project JDK. Though not sure if it's important.
Steps to reproduce the behavior:
- Create new project with JDK 17
- Copy
org.utbot.examples.exceptions.ExceptionExamples from UTBot Java project to the new project.
- Generate tests for that class with TestNG framework.
Expected behavior
Tests are generated in Problems view there is only entry for division by zero problem:

Actual behavior
Sometimes there are two entries which point to the same test.
Visual proofs (screenshots, logs, images)

Attaching both SARIF reports with duplicated problems.
Maven17JUnit5Report.log
Gradle17TestNGReport.log