I've created an issue in Jacoco: https://github.com/jacoco/jacoco/issues/1074
If this is a bug, then maybe our test coverage will get higher after that bug is fixed :-)
Tilman --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
