[isabelle-dev] java.lang.ExceptionInInitializerError when starting Isabelle/jEdit

Makarius 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 mailing list