> After your change d76937b773d9, I still see a non-terminating > HOL-Codegenerator_Test. So in 94b0da1b242e I have switched back to > scala-2.11.8. Interesting. In Jenkins, this commit builds fine: <https://ci.isabelle.systems/jenkins/job/isabelle-repo-makeall/912/consoleFull>. (I had tested it with testboard before anyway.)