Additional tests for JaCoco coverage.