> on 158c513a39f5, I just had a JVM crash during "isabelle build" when it > was building Isabelle/Scala. (Log attached). I had a similar problem today. Unfortunately I didn't save the logfile. Cheers Lars