commit 7ab9599211f6a4f067801cc674b422adfaf7b603
author Donal Fellows <donal.k.fellows@manchester.ac.uk> Thu Dec 19 13:28:56 2013 +0000
committer Donal Fellows <donal.k.fellows@manchester.ac.uk> Thu Dec 19 13:28:56 2013 +0000
tree 0b02c93bed68d498be21ce57885d03b5f5395c07
parent 81c0a82aef593516ae3adb69c9b1001650244ca0

Fix problem with build inside Eclipse picking up bad dependency for a
plugin.

pom.xml

diff --git a/pom.xml b/pom.xml
index 1b4b200..95d3c57 100644
--- a/pom.xml
+++ b/pom.xml
@@ -237,6 +237,13 @@
 					<groupId>org.apache.maven.plugins</groupId>
 					<artifactId>maven-assembly-plugin</artifactId>
 					<version>2.4</version>
+					<dependencies>
+						<dependency>
+							<groupId>org.codehaus.plexus</groupId>
+							<artifactId>plexus-utils</artifactId>
+							<version>3.0.15</version>
+						</dependency>
+					</dependencies>
 				</plugin>
 			</plugins>
 		</pluginManagement>