Marc R. Hoffmann

Sure, see our maven goal documentation, look for `includes` / `excludes`: https://www.jacoco.org/jacoco/trunk/doc/report-mojo.html

Not sure how to check, this is how my `devcontainer.json` looks like: "extensions": [ "fabiospampinato.vscode-terminals", "hediet.vscode-drawio", "streetsidesoftware.code-spell-checker", "streetsidesoftware.code-spell-checker-german" ]

@huangsam Thanks for demonstrating how the line numbers can be extracted from the source. But we still have the tags for coverage highlighting, or is there a similar approach to...

Another idea: There is some JavaScript code to apply the syntax highlighting. Can't the same code apply coverage highlighting of we provide coverage info e.g. as JSON?

@sbordet Are there any instructions how to build this locally for testing? Local Maven build fails with the same errors than the CI.

@sbordet Thanks for this effort! Finally I got a super simple prototype running with a naive `TransportProtocol`and `EndPoint` implementation. I have to admit that my brain can hardly handle the...

@sbordet Let me try to explain my use case: A proxy server which proxies incoming HTTPS requests over SSH tunnels to HTTP servers. The SSH server managing the tunnels itself...

@sbordet Yes, I'm using SSH port forwarding but without using sockets on the server side. This avoids the network stack and allows me to separate the forwards of different users....

You're right. Currently I simply filter by package name. It's on my todo list since quite some time to consider the exports in module-info.class.

I run a prototype: `java.awt.peer` is the only instance where a `java.*` package is not exported in the JDK.