--- a/Admin/components/main Wed Sep 19 17:27:37 2012 +0200
+++ b/Admin/components/main Wed Sep 19 18:01:48 2012 +0200
@@ -1,6 +1,7 @@
#main components for everyday use, without big impact on overall build time
cvc3-2.4.1
e-1.5
+exec_process-1.0.1
jdk-7u6
jedit_build-20120903
kodkodi-1.2.16