"Mark Invalid"-Bug korrigiert

Das maven-resource-plugin benötigt eine spezielle Version des
maven-filtering-plugin, um stets korrekt zu funktionieren. Sonst kommt es
zu undeterministischen Ausfällen, bei denen das Kommandoe "mvn site" mit
"Mark Invalid" scheitert.

diff --git a/pom.xml b/pom.xml
index 77476fe..6c5bd5a 100644 (file)
--- a/pom.xml
+++ b/pom.xml
@@ -141,6 +141,13 @@
         <groupId>org.apache.maven.plugins</groupId>
         <artifactId>maven-resources-plugin</artifactId>
         <version>2.7</version>
+        <dependencies>
+          <dependency>
+            <groupId>org.apache.maven.shared</groupId>
+            <artifactId>maven-filtering</artifactId>
+            <version>1.3</version>
+          </dependency>
+        </dependencies>
         <executions>
           <execution>
             <id>copy-resources</id>