pom.xml merge needed manual fix

pom.xml

@@ -488,51 +488,4 @@
 		<module>build-tools</module>
 		<module>stratosphere-dist</module>
 	</modules>
-
-	<profiles>
-		<!--
-			Hudson by default defines a property BUILD_NUMBER which is used to
-			enable the profile.
-		-->
-		<profile>
-			<id>hudson</id>
-			<activation>
-				<property>
-					<name>BUILD_NUMBER</name>
-				</property>
-			</activation>
-			<build>
-				<plugins>
-					<plugin>
-						<groupId>org.apache.maven.plugins</groupId>
-						<artifactId>maven-compiler-plugin</artifactId>
-						<version>2.0.2</version>
-						<configuration>
-							<source>1.6</source>
-							<target>1.6</target>
-							<compilerArgument>-g</compilerArgument>
-						</configuration>
-					</plugin>
-					<plugin>
-						<groupId>org.codehaus.mojo</groupId>
-						<artifactId>cobertura-maven-plugin</artifactId>
-						<version>2.4</version>
-						<configuration>
-							<formats>
-								<format>xml</format>
-							</formats>
-						</configuration>
-						<executions>
-							<execution>
-								<phase>cobertura</phase>
-								<goals>
-									<goal>cobertura</goal>
-								</goals>
-							</execution>
-						</executions>
-					</plugin>
-				</plugins>
-			</build>
-		</profile>
-	</profiles>
 </project>