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