diff -r 081f019bc04e -r 72a100b59e88 pom.xml
--- a/pom.xml	Thu Jan 24 00:10:23 2013 +0100
+++ b/pom.xml	Wed Feb 13 12:51:31 2013 +0100
@@ -17,6 +17,7 @@
     <module>benchmarks</module>
     <module>launcher</module>
     <module>vmtest</module>
+    <module>ide</module>
   </modules>
   <licenses>
       <license>