MavenExampleJdk11 does not show erros when using Eclipse

I was trying out checkerframework and wanted to use Eclipse as my IDE.
First i tried it with my own project but after i got no information whtether checkers where even working i went and tried the maven example with jdk 11 in this repository.
I imported the maven project throut File > import > existing maven project.
Evenwith project i got no warning/error which was expected.
Then i tried to build with maven directly through command line and then i got the errors that are expected.

When i build the project via Run As > maven install i get the expected outptu in the console view with the erorrs the same as if I use mvn install from the command line. And in then I have Java Exception Breakpoints in the Marker view, which have the title Unknown.

In ht e manual it does not say anything that I have to change my workflow when checkerframework with Eclipse and manven. Threfore i would find it inconvenient to alwas have to use Run As -> Maven Install to build ma project and not the normal incremental build an Save.

Eclipse Enterprise Java windows 64-bit downloaded today.
Installed jdk 13u1 from downloaded from oracle.
Installed maven downloaded a few days ago.

My question is can i use checkerframework with eclipse and maven and get the warnings / errors in eclipse in the marker view the same as any other compiler warning / error? Need i use some other compiler arguments? Or is this a problem with eclipse and i have to use maven via command line.

Start with the MavenExampleJdk11 project and reproduce both Eclipse incremental builds and Run As > Maven install using the stated JDK and Maven setup. Compare whether Checker Framework diagnostics reach Eclipse's Marker view; done requires identifying whether this is an Eclipse integration limitation, a configuration issue, or documenting the required workflow.