1 #main components for everyday use, without big impact on overall build time
2 cvc3-2.4.1
3 e-1.8
4 exec_process-1.0.3
5 Haskabelle-2013
6 jdk-7u25
7 jedit_build-20130905
8 jfreechart-1.0.14
9 kodkodi-1.5.2
10 polyml-5.5.0-3
11 scala-2.10.2
12 spass-3.8ds
13 z3-3.2
14 xz-java-1.2