Override cobertura output format with -DcoberturaFormat=html