#hard-wired components
src/Tools/jEdit
src/Tools/Graphview
src/HOL/Mirabelle
src/HOL/Mutabelle
src/HOL/Library/Sum_of_Squares
src/HOL/SPARK
src/HOL/Tools
src/HOL/Tools/ATP
src/HOL/TPTP
#bundled components
contrib/csdp-6.x
contrib/cvc4-1.5pre-3
contrib/e-1.8
contrib/exec_process-1.0.3
contrib/Haskabelle-2015
contrib/isabelle_fonts-20160102
contrib/jdk
contrib/jfreechart-1.0.14-1
contrib/jortho-1.0-2
contrib/kodkodi-1.5.2
contrib/polyml-5.6-1
contrib/scala-2.11.7
contrib/spass-3.8ds
contrib/xz-java-1.2-1
contrib/z3-4.4.0pre
