diff -r 081f019bc04e -r d5c565eb0986 pom.xml --- a/pom.xml Thu Jan 24 00:10:23 2013 +0100 +++ b/pom.xml Wed Feb 13 15:21:54 2013 +0100 @@ -17,6 +17,7 @@ benchmarks launcher vmtest + ide