Workaround Cobertura incompatibility with Java 8