[isabelle-dev] Problems building Isabelle/Scala

[Lars Hupel]

> Instead of bisect, I took an educated guess after looking at the file history of Admin/components/main. So the first bad commit for me is b578749daa62 (which introduces scala 2.12.8). With its parent isabelle jedit -bf works.
> 
> Funnily, my operating system installation of scala is 2.12.8 too and I don't have any problems with it.
> 
> Not sure how to proceed from here.

Scala 2.13.0-RC1 has just been released:

<https://downloads.lightbend.com/scala/2.13.0-RC1/scala-2.13.0-RC1.tgz>

Maybe Makarius could package this as an Isabelle component already.

Scala 2.13.1 is currently slated for June 15, but curiously I couldn't
find a release date for 2.13.0 to figure out if it would be suitable for
the upcoming Isabelle2019 release.