As of Isabelle/96ad7d5ff613 we are on current scala-2.12.3, see also http://scala-lang.org/news/2.12.3 The changeset ensures a full rebuild of all Isabelle/ML and Isabelle/Scala, to avoid surprises we've seen in past Scala updates. Makarius