added alexooi stuff and updated cobertura plugin