On 19/08/17 17:19, Lars Hupel wrote: >> 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. Can you say anything about the system? Hardware, OS etc. Makarius