> Since the JVM crash happened during scalac compilation, I recommend to
> enforce a fresh build, e.g. like this:
That seems to have worked. The only output I got was this:
### Building Isabelle/Scala ...
### Building Isabelle/jEdit ...
Manuel