12:42:05 [main] [error] PluginJAR: Error while starting plugin isabelle.jedit_base.Plugin 12:42:05 [main] [error] PluginJAR: java.lang.NoClassDefFoundError: isabelle/jedit/Base_Plugin 12:42:05 [main] [error] PluginJAR: at java.base/java.lang.ClassLoader.defineClass1(Native Method) 12:42:05 [main] [error] PluginJAR: at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:1016) 12:42:05 [main] [error] PluginJAR: at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:877) 12:42:05 [main] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader._loadClass(JARClassLoader.java:436) 12:42:05 [main] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:109) 12:42:05 [main] [error] PluginJAR: at org.gjt.sp.jedit.PluginJAR.activatePlugin(PluginJAR.java:926) 12:42:05 [main] [error] PluginJAR: at org.gjt.sp.jedit.PluginJAR.activatePluginIfNecessary(PluginJAR.java:1026) 12:42:05 [main] [error] PluginJAR: at org.gjt.sp.jedit.jEdit.main(jEdit.java:530) 12:42:05 [main] [error] PluginJAR: at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 12:42:05 [main] [error] PluginJAR: at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:64) 12:42:05 [main] [error] PluginJAR: at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 12:42:05 [main] [error] PluginJAR: at java.base/java.lang.reflect.Method.invoke(Method.java:564) 12:42:05 [main] [error] PluginJAR: at isabelle.Main$.$anonfun$main$4(main.scala:129) 12:42:05 [main] [error] PluginJAR: at isabelle.Main$.main(main.scala:138) 12:42:05 [main] [error] PluginJAR: at isabelle.Main.main(main.scala) 12:42:05 [main] [error] PluginJAR: Caused by: java.lang.ClassNotFoundException: isabelle.jedit.Base_Plugin 12:42:05 [main] [error] PluginJAR: at java.base/jdk.internal.loader.BuiltinClassLoader.loadClass(BuiltinClassLoader.java:606) 12:42:05 [main] [error] PluginJAR: at java.base/jdk.internal.loader.ClassLoaders$AppClassLoader.loadClass(ClassLoaders.java:168) 12:42:05 [main] [error] PluginJAR: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:522) 12:42:05 [main] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader.loadFromParent(JARClassLoader.java:519) 12:42:05 [main] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:87) 12:42:05 [main] [error] PluginJAR: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:522) 12:42:05 [main] [error] PluginJAR: ... 15 more 12:42:05 [main] [error] ErrorListDialog$ErrorEntry: /home/tsewell/.isabelle/jedit/jars/isabelle_jedit_base.jar: 12:42:05 [main] [error] ErrorListDialog$ErrorEntry: Cannot start: java.lang.NoClassDefFoundError: isabelle/jedit/Base_Plugin 12:42:05 [main] [error] View: No docking framework PIDE available, using the original one 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: Error while starting plugin isabelle.jedit_main.Plugin 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: java.lang.NoClassDefFoundError: isabelle/jedit/Main_Plugin 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.lang.ClassLoader.defineClass1(Native Method) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:1016) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:877) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader._loadClass(JARClassLoader.java:436) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:109) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.PluginJAR.activatePlugin(PluginJAR.java:926) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader._loadClass(JARClassLoader.java:394) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:109) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:522) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.classpath.ClassManagerImpl.classForName(ClassManagerImpl.java:204) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.NameSpace.classForName(NameSpace.java:1320) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.NameSpace.getClassImpl(NameSpace.java:1220) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.NameSpace.getClass(NameSpace.java:1161) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.Name.consumeNextObjectField(Name.java:298) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.Name.toObject(Name.java:199) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.BSHAmbiguousName.toObject(BSHAmbiguousName.java:60) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.objectAllocation(BSHAllocationExpression.java:86) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.eval(BSHAllocationExpression.java:62) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:102) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:47) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:644) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:738) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:727) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.BeanShellFacade._eval(BeanShellFacade.java:153) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.BeanShellFacade.eval(BeanShellFacade.java:117) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.BeanShell.eval(BeanShell.java:382) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.ServiceManager$Descriptor.getInstance(ServiceManager.java:337) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.ServiceManager.getService(ServiceManager.java:262) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.GUIUtilities.getServiceContextMenuItems(GUIUtilities.java:382) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.GUIUtilities.loadPopupMenu(GUIUtilities.java:350) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.GUIUtilities.loadPopupMenu(GUIUtilities.java:287) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.textarea.JEditTextArea.createPopupMenu(JEditTextArea.java:478) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.EditPane.propertiesChanged(EditPane.java:946) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.EditPane.(EditPane.java:819) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.View.createEditPane(View.java:2066) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.View.createEditPane(View.java:2061) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.View.restoreSplitConfig(View.java:1849) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.View.setSplitConfig(View.java:882) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.View.(View.java:1384) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2617) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.PerspectiveManager$PerspectiveHandler.endElement(PerspectiveManager.java:396) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.endElement(AbstractSAXParser.java:618) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.endNamespaceScope(XMLDTDValidator.java:1985) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.handleEndElement(XMLDTDValidator.java:1934) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.endElement(XMLDTDValidator.java:865) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanEndElement(XMLDocumentFragmentScannerImpl.java:1727) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl$FragmentContentDriver.next(XMLDocumentFragmentScannerImpl.java:2898) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(XMLDocumentScannerImpl.java:605) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(XMLDocumentFragmentScannerImpl.java:541) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:888) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:824) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(XMLParser.java:141) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(AbstractSAXParser.java:1224) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.jaxp.SAXParserImpl$JAXPSAXParser.parse(SAXParserImpl.java:635) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.util.XMLUtilities.parseXML(XMLUtilities.java:142) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.SettingsXML.load(SettingsXML.java:155) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.PerspectiveManager.loadPerspective(PerspectiveManager.java:108) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.jEdit$4.run(jEdit.java:4131) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:316) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.security.AccessController.doPrivileged(AccessController.java:391) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:740) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: Caused by: java.lang.ClassNotFoundException: isabelle.jedit.Main_Plugin 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.base/jdk.internal.loader.BuiltinClassLoader.loadClass(BuiltinClassLoader.java:606) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.base/jdk.internal.loader.ClassLoaders$AppClassLoader.loadClass(ClassLoaders.java:168) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:522) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader.loadFromParent(JARClassLoader.java:519) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:87) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:522) 12:42:06 [AWT-EventQueue-0] [error] PluginJAR: ... 71 more 12:42:06 [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: /home/tsewell/.isabelle/jedit/jars/isabelle_jedit_main.jar: 12:42:06 [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: Cannot start: java.lang.NoClassDefFoundError: isabelle/jedit/Main_Plugin 12:42:08 [AWT-EventQueue-0] [error] Plugin: java.lang.NoClassDefFoundError: isabelle/jedit_base/Syntax_Style$ 12:42:08 [AWT-EventQueue-0] [error] Plugin: at isabelle.jedit.Plugin.start(plugin.scala:463) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.PluginJAR.startPlugin(PluginJAR.java:1736) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.PluginJAR.activatePlugin(PluginJAR.java:956) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.JARClassLoader._loadClass(JARClassLoader.java:394) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:109) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:522) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.base/java.lang.ClassLoader.defineClass1(Native Method) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:1016) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:877) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.JARClassLoader._loadClass(JARClassLoader.java:436) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:109) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:522) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.classpath.ClassManagerImpl.classForName(ClassManagerImpl.java:204) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.NameSpace.classForName(NameSpace.java:1320) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.NameSpace.getClassImpl(NameSpace.java:1220) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.NameSpace.getClass(NameSpace.java:1161) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.Name.consumeNextObjectField(Name.java:298) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.Name.toObject(Name.java:199) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.BSHAmbiguousName.toObject(BSHAmbiguousName.java:60) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.objectAllocation(BSHAllocationExpression.java:86) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.eval(BSHAllocationExpression.java:62) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:102) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:47) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:644) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:738) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:727) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.BeanShellFacade._eval(BeanShellFacade.java:153) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.BeanShellFacade.eval(BeanShellFacade.java:117) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.BeanShell.eval(BeanShell.java:382) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.ServiceManager$Descriptor.getInstance(ServiceManager.java:337) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.ServiceManager.getService(ServiceManager.java:262) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.GUIUtilities.getServiceContextMenuItems(GUIUtilities.java:382) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.GUIUtilities.loadPopupMenu(GUIUtilities.java:350) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.GUIUtilities.loadPopupMenu(GUIUtilities.java:287) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.textarea.JEditTextArea.createPopupMenu(JEditTextArea.java:478) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.EditPane.propertiesChanged(EditPane.java:946) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.EditPane.(EditPane.java:819) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.View.createEditPane(View.java:2066) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.View.createEditPane(View.java:2061) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.View.restoreSplitConfig(View.java:1849) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.View.setSplitConfig(View.java:882) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.View.(View.java:1384) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2617) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.PerspectiveManager$PerspectiveHandler.endElement(PerspectiveManager.java:396) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.endElement(AbstractSAXParser.java:618) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.endNamespaceScope(XMLDTDValidator.java:1985) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.handleEndElement(XMLDTDValidator.java:1934) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.endElement(XMLDTDValidator.java:865) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanEndElement(XMLDocumentFragmentScannerImpl.java:1727) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl$FragmentContentDriver.next(XMLDocumentFragmentScannerImpl.java:2898) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(XMLDocumentScannerImpl.java:605) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(XMLDocumentFragmentScannerImpl.java:541) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:888) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:824) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(XMLParser.java:141) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(AbstractSAXParser.java:1224) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.jaxp.SAXParserImpl$JAXPSAXParser.parse(SAXParserImpl.java:635) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.util.XMLUtilities.parseXML(XMLUtilities.java:142) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.SettingsXML.load(SettingsXML.java:155) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.PerspectiveManager.loadPerspective(PerspectiveManager.java:108) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.jEdit$4.run(jEdit.java:4131) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:316) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.base/java.security.AccessController.doPrivileged(AccessController.java:391) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:740) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90) 12:42:08 [AWT-EventQueue-0] [error] Plugin: Caused by: java.lang.ClassNotFoundException: isabelle.jedit_base.Syntax_Style$ 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.base/jdk.internal.loader.BuiltinClassLoader.loadClass(BuiltinClassLoader.java:606) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.base/jdk.internal.loader.ClassLoaders$AppClassLoader.loadClass(ClassLoaders.java:168) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:522) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.JARClassLoader.loadFromParent(JARClassLoader.java:519) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:87) 12:42:08 [AWT-EventQueue-0] [error] Plugin: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:522) 12:42:08 [AWT-EventQueue-0] [error] Plugin: ... 74 more 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: Sourced file: inline evaluation of: `` new isabelle.jedit_main.Status_Widget_Java_Factory(); ;'' : Class or variable not found: isabelle.jedit_main.Status_Widget_Java_Factory : at Line: 2 : 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: in file: inline evaluation of: `` new isabelle.jedit_main.Status_Widget_Java_Factory(); ;'' 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: : isabelle .jedit_main .Status_Widget_Java_Factory 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.UtilEvalError.toEvalError(UtilEvalError.java:84) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.UtilEvalError.toEvalError(UtilEvalError.java:89) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHAmbiguousName.toObject(BSHAmbiguousName.java:64) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.objectAllocation(BSHAllocationExpression.java:86) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.eval(BSHAllocationExpression.java:62) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:102) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:47) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:644) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:738) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:727) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.BeanShellFacade._eval(BeanShellFacade.java:153) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.BeanShellFacade.eval(BeanShellFacade.java:117) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.BeanShell.eval(BeanShell.java:382) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.ServiceManager$Descriptor.getInstance(ServiceManager.java:337) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.ServiceManager.getService(ServiceManager.java:262) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.gui.StatusBar._getWidget(StatusBar.java:490) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.gui.StatusBar.getWidget(StatusBar.java:483) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.gui.StatusBar.propertiesChanged(StatusBar.java:146) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.View.propertiesChanged(View.java:1939) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.View.(View.java:1392) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2617) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.PerspectiveManager$PerspectiveHandler.endElement(PerspectiveManager.java:396) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.endElement(AbstractSAXParser.java:618) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.endNamespaceScope(XMLDTDValidator.java:1985) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.handleEndElement(XMLDTDValidator.java:1934) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.endElement(XMLDTDValidator.java:865) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanEndElement(XMLDocumentFragmentScannerImpl.java:1727) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl$FragmentContentDriver.next(XMLDocumentFragmentScannerImpl.java:2898) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(XMLDocumentScannerImpl.java:605) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(XMLDocumentFragmentScannerImpl.java:541) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:888) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:824) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(XMLParser.java:141) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(AbstractSAXParser.java:1224) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.jaxp.SAXParserImpl$JAXPSAXParser.parse(SAXParserImpl.java:635) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.util.XMLUtilities.parseXML(XMLUtilities.java:142) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.SettingsXML.load(SettingsXML.java:155) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.PerspectiveManager.loadPerspective(PerspectiveManager.java:108) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.jEdit$4.run(jEdit.java:4131) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:316) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/java.security.AccessController.doPrivileged(AccessController.java:391) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:740) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) 12:42:08 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: Sourced file: inline evaluation of: `` new isabelle.jedit_main.Status_Widget_ML_Factory(); ;'' : Class or variable not found: isabelle.jedit_main.Status_Widget_ML_Factory : at Line: 2 : 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: in file: inline evaluation of: `` new isabelle.jedit_main.Status_Widget_ML_Factory(); ;'' 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: : isabelle .jedit_main .Status_Widget_ML_Factory 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.UtilEvalError.toEvalError(UtilEvalError.java:84) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.UtilEvalError.toEvalError(UtilEvalError.java:89) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHAmbiguousName.toObject(BSHAmbiguousName.java:64) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.objectAllocation(BSHAllocationExpression.java:86) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.eval(BSHAllocationExpression.java:62) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:102) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:47) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:644) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:738) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:727) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.BeanShellFacade._eval(BeanShellFacade.java:153) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.BeanShellFacade.eval(BeanShellFacade.java:117) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.BeanShell.eval(BeanShell.java:382) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.ServiceManager$Descriptor.getInstance(ServiceManager.java:337) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.ServiceManager.getService(ServiceManager.java:262) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.gui.StatusBar._getWidget(StatusBar.java:490) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.gui.StatusBar.getWidget(StatusBar.java:483) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.gui.StatusBar.propertiesChanged(StatusBar.java:146) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.View.propertiesChanged(View.java:1939) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.View.(View.java:1392) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2617) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.PerspectiveManager$PerspectiveHandler.endElement(PerspectiveManager.java:396) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.endElement(AbstractSAXParser.java:618) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.endNamespaceScope(XMLDTDValidator.java:1985) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.handleEndElement(XMLDTDValidator.java:1934) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.endElement(XMLDTDValidator.java:865) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanEndElement(XMLDocumentFragmentScannerImpl.java:1727) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl$FragmentContentDriver.next(XMLDocumentFragmentScannerImpl.java:2898) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(XMLDocumentScannerImpl.java:605) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(XMLDocumentFragmentScannerImpl.java:541) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:888) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:824) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(XMLParser.java:141) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(AbstractSAXParser.java:1224) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.xml/com.sun.org.apache.xerces.internal.jaxp.SAXParserImpl$JAXPSAXParser.parse(SAXParserImpl.java:635) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.util.XMLUtilities.parseXML(XMLUtilities.java:142) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.SettingsXML.load(SettingsXML.java:155) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.PerspectiveManager.loadPerspective(PerspectiveManager.java:108) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.jEdit$4.run(jEdit.java:4131) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:316) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/java.security.AccessController.doPrivileged(AccessController.java:391) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:740) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: Sourced file: inline evaluation of: `` new isabelle.jedit_main.Fold_Handler(); ;'' : Class or variable not found: isabelle.jedit_main.Fold_Handler : at Line: 2 : 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: in file: inline evaluation of: `` new isabelle.jedit_main.Fold_Handler(); ;'' 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: : isabelle .jedit_main .Fold_Handler 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.UtilEvalError.toEvalError(UtilEvalError.java:84) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.UtilEvalError.toEvalError(UtilEvalError.java:89) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHAmbiguousName.toObject(BSHAmbiguousName.java:64) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.objectAllocation(BSHAllocationExpression.java:86) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.eval(BSHAllocationExpression.java:62) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:102) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:47) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:644) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:738) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:727) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.BeanShellFacade._eval(BeanShellFacade.java:153) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.BeanShellFacade.eval(BeanShellFacade.java:117) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.BeanShell.eval(BeanShell.java:382) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.ServiceManager$Descriptor.getInstance(ServiceManager.java:337) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.ServiceManager.getService(ServiceManager.java:262) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.ServiceManager$ServiceFoldHandlerProvider.getFoldHandler(ServiceManager.java:394) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.buffer.FoldHandler.getFoldHandler(FoldHandler.java:123) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.buffer.JEditBuffer.propertiesChanged(JEditBuffer.java:1461) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.Buffer.propertiesChanged(Buffer.java:1073) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.buffer.JEditBuffer.setMode(JEditBuffer.java:1896) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.buffer.JEditBuffer.setMode(JEditBuffer.java:1869) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.Buffer.setMode(Buffer.java:1324) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.Buffer.finishLoading(Buffer.java:2210) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.Buffer$1.run(Buffer.java:266) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.util.AwtRunnableQueue$RunRequestsInAWTThread.doAWTRequest(AwtRunnableQueue.java:157) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.util.AwtRunnableQueue$RunRequestsInAWTThread.run(AwtRunnableQueue.java:136) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:316) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/java.security.AccessController.doPrivileged(AccessController.java:391) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:740) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) 12:42:09 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: Sourced file: inline evaluation of: `` new isabelle.jedit_main.Isabelle_Sidekick_Default(); ;'' : Class or variable not found: isabelle.jedit_main.Isabelle_Sidekick_Default : at Line: 2 : 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: in file: inline evaluation of: `` new isabelle.jedit_main.Isabelle_Sidekick_Default(); ;'' 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: : isabelle .jedit_main .Isabelle_Sidekick_Default 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.UtilEvalError.toEvalError(UtilEvalError.java:84) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.UtilEvalError.toEvalError(UtilEvalError.java:89) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHAmbiguousName.toObject(BSHAmbiguousName.java:64) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.objectAllocation(BSHAllocationExpression.java:86) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.eval(BSHAllocationExpression.java:62) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:102) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:47) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:644) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:738) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:727) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.BeanShellFacade._eval(BeanShellFacade.java:153) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.BeanShellFacade.eval(BeanShellFacade.java:117) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.BeanShell.eval(BeanShell.java:382) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.ServiceManager$Descriptor.getInstance(ServiceManager.java:337) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.ServiceManager.getService(ServiceManager.java:262) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at sidekick.SideKickPlugin.getParser(SideKickPlugin.java:237) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at sidekick.SideKickPlugin.getParserForBuffer(SideKickPlugin.java:293) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at sidekick.SideKick.setParser(SideKick.java:214) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at sidekick.SideKick.handleBufferUpdate(SideKick.java:244) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:64) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/java.lang.reflect.Method.invoke(Method.java:564) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.EditBus.dispatch(EditBus.java:242) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.EditBus.sendImpl(EditBus.java:281) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.EditBus$SendMessage.run(EditBus.java:461) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.EditBus.send(EditBus.java:206) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.Buffer.propertiesChanged(Buffer.java:1083) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.buffer.JEditBuffer.setMode(JEditBuffer.java:1896) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.buffer.JEditBuffer.setMode(JEditBuffer.java:1869) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.Buffer.setMode(Buffer.java:1324) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.Buffer.finishLoading(Buffer.java:2210) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.Buffer$1.run(Buffer.java:266) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.util.AwtRunnableQueue$RunRequestsInAWTThread.doAWTRequest(AwtRunnableQueue.java:157) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.util.AwtRunnableQueue$RunRequestsInAWTThread.run(AwtRunnableQueue.java:136) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:316) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/java.security.AccessController.doPrivileged(AccessController.java:391) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:740) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) 12:42:10 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: Error while stopping plugin: 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: java.lang.NoClassDefFoundError: isabelle/jedit_base/Syntax_Style$ 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at isabelle.jedit.Plugin.stop(plugin.scala:488) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.PluginJAR.deactivatePlugin(PluginJAR.java:1068) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.PluginJAR.uninit(PluginJAR.java:1302) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.jEdit.removePluginJAR(jEdit.java:1311) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.jEdit.exit(jEdit.java:3013) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.jEdit.closeView(jEdit.java:4321) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.jEdit.closeView(jEdit.java:2672) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.View$WindowHandler.windowClosing(View.java:2299) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.AWTEventMulticaster.windowClosing(AWTEventMulticaster.java:357) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.AWTEventMulticaster.windowClosing(AWTEventMulticaster.java:357) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.Window.processWindowEvent(Window.java:2075) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/javax.swing.JFrame.processWindowEvent(JFrame.java:298) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.Window.processEvent(Window.java:2034) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.Component.dispatchEventImpl(Component.java:4990) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2321) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.Window.dispatchEventImpl(Window.java:2769) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.Component.dispatchEvent(Component.java:4822) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:772) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.security.AccessController.doPrivileged(AccessController.java:391) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:95) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:745) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:743) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.security.AccessController.doPrivileged(AccessController.java:391) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:742) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) 12:42:13 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)