more precise dependencies for "jars"; allow spaces in SCALA_HOME;
more precise dependencies for "jars";
allow spaces in SCALA_HOME;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle