#main components for everyday use, without big impact on overall build time cvc3-2.4.1 e-1.6 exec_process-1.0.3 jdk-7u9 jedit_build-20130104 jfreechart-1.0.14 kodkodi-1.5.2 polyml-5.5.0 scala-2.10.0 spass-3.8ds z3-3.2