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

[Lars Hupel]

Dear Makarius,

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
12:33:24 [main] [error] Plugin:  at
isabelle.Options$.<init>(options.scala:145)
12:33:24 [main] [error] Plugin:  at
isabelle.Options$.<clinit>(options.scala)
12:33:24 [main] [error] Plugin:  at
isabelle.jedit.Plugin.start(plugin.scala:403)
12:33:24 [main] [error] Plugin:  at
org.gjt.sp.jedit.PluginJAR.startPlugin(PluginJAR.java:1740)
12:33:24 [main] [error] Plugin:  at
org.gjt.sp.jedit.PluginJAR.activatePlugin(PluginJAR.java:951)
12:33:24 [main] [error] Plugin:  at
org.gjt.sp.jedit.PluginJAR.activatePluginIfNecessary(PluginJAR.java:1021)
12:33:24 [main] [error] Plugin:  at
org.gjt.sp.jedit.jEdit.main(jEdit.java:549)
12:33:24 [main] [error] Plugin:  at
sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
12:33:24 [main] [error] Plugin:  at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
12:33:24 [main] [error] Plugin:  at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
12:33:24 [main] [error] Plugin:  at
java.lang.reflect.Method.invoke(Method.java:498)
12:33:24 [main] [error] Plugin:  at
isabelle.Main$$anonfun$2.apply(main.scala:81)
12:33:24 [main] [error] Plugin:  at isabelle.Main$.main(main.scala:91)
12:33:24 [main] [error] Plugin:  at isabelle.Main.main(main.scala)
12:33:24 [main] [error] Plugin: Caused by: java.lang.NullPointerException
12:33:24 [main] [error] Plugin:  at
isabelle.Isabelle_Tool$.register(isabelle_tool.scala:66)
12:33:24 [main] [error] Plugin:  at
isabelle.Isabelle_Tool$.<init>(isabelle_tool.scala:82)
12:33:24 [main] [error] Plugin:  at
isabelle.Isabelle_Tool$.<clinit>(isabelle_tool.scala)
12:33:24 [main] [error] Plugin:  ... 14 more

I've already cleared ~/.isabelle/jedit and ~/.isabelle/etc/preferences.

Cheers
Lars