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