Isabelle setup in pure Java, see also $ISABELLE_HOME/src/Tools/Setup/.
