diff -r 081f019bc04e -r 1ee4ec90710e pom.xml --- a/pom.xml Thu Jan 24 00:10:23 2013 +0100 +++ b/pom.xml Wed Feb 13 16:14:07 2013 +0100 @@ -17,6 +17,7 @@ benchmarks launcher vmtest + ide