Undo an official commit because it is incompatible with Cobertura module