bazel coverage for Java with junit5, coverage.dat file is always empty

Question

I\'m using the example given by junit5

https://github.com/junit-team/junit5-samples/tree/main/junit5-jupiter-starter-bazel

Due to proxy issues, I