fixed Isabelle/Scala build (cf. f3220ef79d51);
fixed Isabelle/Scala build (cf. f3220ef79d51);

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