[isabelle-dev] java.lang.ExceptionInInitializerError when starting Isabelle/jEdit
makarius at sketis.net
Tue Apr 12 16:49:28 CEST 2016
On Mon, 11 Apr 2016, Lars Hupel wrote:
> I wanted to try out some of the changes you made in the past week, but
> unfortunately, I'm getting exceptions upon starting Isabelle/jEdit.
> 12:33:24 [main] [error] Plugin: java.lang.ExceptionInInitializerError
Odd. I don't see this problem on my machine. I've never quite understood
JVM module initialization.
In Isabelle/cfbb6a5b427c it is done again differently, and hopefully in a
more robust way.
More information about the isabelle-dev