diff -r 081f019bc04e -r 8d7f8719d29c pom.xml --- a/pom.xml Thu Jan 24 00:10:23 2013 +0100 +++ b/pom.xml Wed Feb 13 11:12:55 2013 +0100 @@ -17,6 +17,7 @@ benchmarks launcher vmtest + ide