#hard-wired components
src/Tools/jEdit
src/Tools/Graphview
src/Tools/VSCode
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/bash_process-1.2.2
contrib/bib2xhtml-20171221
contrib/csdp-6.x
contrib/cvc4-1.5-4
contrib/e-2.0-2
contrib/isabelle_fonts-20180113
contrib/jdk
contrib/jfreechart-1.5.0
contrib/jortho-1.0-2
contrib/kodkodi-1.5.2-1
contrib/nunchaku-0.5
contrib/polyml-5.7.1-8
contrib/postgresql-42.2.2
contrib/scala-2.12.6
contrib/smbc-0.4.1
contrib/ssh-java-20161009
contrib/spass-3.8ds-1
contrib/sqlite-jdbc-3.23.1
contrib/vampire-4.2.2
contrib/xz-java-1.8
contrib/z3-4.4.0pre-2
