[isabelle] Plugin error with Isabelle-2016



Hi,

Intermittently when starting Isabelle 2016 there is some failure
starting isabelle.jedit.Plugin.  I get a popup containing the
following information:

/auto/homes/dpm36/LocalInstalls/Isabelle2016/src/Tools/jEdit/dist/jars/Isabelle-jEdit.jar:
Cannot start: java.lang.NoClassDefFoundError: scala/Function0
Try updating to a newer version of the plugin.

and printed to the terminal window is the following:

dpm36 at pratello:~/Work/Cambridge/github/profuse-formalisation/src$
08:16:00 [main] [error] PluginJAR: Error while starting plugin
isabelle.jedit.Plugin
08:16:00 [main] [error] PluginJAR: java.lang.NoClassDefFoundError:
scala/Function0
08:16:00 [main] [error] PluginJAR:  at
java.lang.Class.getDeclaredConstructors0(Native Method)
08:16:00 [main] [error] PluginJAR:  at
java.lang.Class.privateGetDeclaredConstructors(Class.java:2671)
08:16:00 [main] [error] PluginJAR:  at
java.lang.Class.getConstructor0(Class.java:3075)
08:16:00 [main] [error] PluginJAR:  at
java.lang.Class.newInstance(Class.java:412)
08:16:00 [main] [error] PluginJAR:  at
org.gjt.sp.jedit.PluginJAR.activatePlugin(PluginJAR.java:933)
08:16:00 [main] [error] PluginJAR:  at
org.gjt.sp.jedit.PluginJAR.activatePluginIfNecessary(PluginJAR.java:1021)
08:16:00 [main] [error] PluginJAR:  at
org.gjt.sp.jedit.jEdit.main(jEdit.java:549)
08:16:00 [main] [error] PluginJAR: Caused by:
java.lang.ClassNotFoundException: scala.Function0
08:16:00 [main] [error] PluginJAR:  at
java.net.URLClassLoader.findClass(URLClassLoader.java:381)
08:16:00 [main] [error] PluginJAR:  at
java.lang.ClassLoader.loadClass(ClassLoader.java:424)
08:16:00 [main] [error] PluginJAR:  at
sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:331)
08:16:00 [main] [error] PluginJAR:  at
java.lang.ClassLoader.loadClass(ClassLoader.java:357)
08:16:00 [main] [error] PluginJAR:  at
org.gjt.sp.jedit.JARClassLoader.loadFromParent(JARClassLoader.java:518)
08:16:00 [main] [error] PluginJAR:  at
org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:87)
08:16:00 [main] [error] PluginJAR:  at
java.lang.ClassLoader.loadClass(ClassLoader.java:357)
08:16:00 [main] [error] PluginJAR:  ... 7 more
08:16:00 [main] [error] ErrorListDialog$ErrorEntry:
/auto/homes/dpm36/LocalInstalls/Isabelle2016/src/Tools/jEdit/dist/jars/Isabelle-jEdit.jar:
08:16:00 [main] [error] ErrorListDialog$ErrorEntry: Cannot start:
java.lang.NoClassDefFoundError: scala/Function0
08:16:00 [main] [error] ErrorListDialog$ErrorEntry: Try updating to a
newer version of the plugin.
08:16:00 [main] [error] View: No docking framework PIDE available,
using the original one
08:16:01 [AWT-EventQueue-0] [error] DockableWindowManagerImpl: Unknown
dockable window: isabelle-output
08:16:01 [AWT-EventQueue-0] [error] DockableWindowManagerImpl: Unknown
dockable window: isabelle-theories

Strangely, after quitting and restarting Isabelle/jEdit after seeing
this error, all mathematical symbols in the file I was originally
trying to open when the error occurred are no longer rendered.
Further, there seems to be no way to get any symbols back in a file
without copying and pasting the original contents into a completely
new file (i.e. when typing \rightharpoonup, the usual symbol popup box
appears, but there are no symbols contained within the box rather only
their textual codes, and selecting \rightharpoonup from the popup
simply places the text \rightharpoonup into my theory file, not a
harpoon symbol).

What is happening to an Isabelle .thy file when the failure above
occurs to cause symbols to stop rendering, and how do I fix a file to
get all my symbols back without needing to keep copying-and-pasting
text into fresh files?

Thanks for any help,
Dominic




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.