From 59c80123ff5f956b15856d74650723c4e0785590 Mon Sep 17 00:00:00 2001
From: Nelson Tavares de Sousa <ntd@informatik.uni-kiel.de>
Date: Fri, 6 Feb 2015 14:23:36 +0100
Subject: [PATCH] configured cobertura to generate xml file

---
 pom.xml | 13 +++++--------
 1 file changed, 5 insertions(+), 8 deletions(-)

diff --git a/pom.xml b/pom.xml
index 193e2f58..407c7dcd 100644
--- a/pom.xml
+++ b/pom.xml
@@ -122,19 +122,16 @@
 				<artifactId>cobertura-maven-plugin</artifactId>
 				<version>2.6</version>
 				<configuration>
+					<formats>
+						<format>html</format>
+						<format>xml</format>
+					</formats>
 					<instrumentation>
 						<excludes>
 							<exclude>src/performancetest/**/*</exclude>
 						</excludes>
 					</instrumentation>
 				</configuration>
-				<executions>
-					<execution>
-						<goals>
-							<goal>clean</goal>
-						</goals>
-					</execution>
-				</executions>
 			</plugin>
 			<!-- we want JDK 1.6 source and binary compatibility -->
 			<plugin>
@@ -381,7 +378,7 @@
 				<artifactId>maven-pmd-plugin</artifactId>
 				<version>3.2</version>
 			</plugin>
-			
+
 			<plugin>
 				<groupId>org.codehaus.mojo</groupId>
 				<artifactId>cobertura-maven-plugin</artifactId>
-- 
GitLab