12:43:46 [main] [error] PluginJAR: Error while starting plugin isabelle.jedit_base.Plugin 12:43:46 [main] [error] PluginJAR: java.lang.NoClassDefFoundError: isabelle/jedit/Base_Plugin 12:43:46 [main] [error] PluginJAR: at java.base/java.lang.ClassLoader.defineClass1(Native Method) 12:43:46 [main] [error] PluginJAR: at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:1016) 12:43:46 [main] [error] PluginJAR: at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:877) 12:43:46 [main] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader._loadClass(JARClassLoader.java:434) 12:43:46 [main] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:109) 12:43:46 [main] [error] PluginJAR: at org.gjt.sp.jedit.PluginJAR.activatePlugin(PluginJAR.java:921) 12:43:46 [main] [error] PluginJAR: at org.gjt.sp.jedit.PluginJAR.activatePluginIfNecessary(PluginJAR.java:1021) 12:43:46 [main] [error] PluginJAR: at org.gjt.sp.jedit.jEdit.main(jEdit.java:553) 12:43:46 [main] [error] PluginJAR: at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 12:43:46 [main] [error] PluginJAR: at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 12:43:46 [main] [error] PluginJAR: at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 12:43:46 [main] [error] PluginJAR: at java.base/java.lang.reflect.Method.invoke(Method.java:566) 12:43:46 [main] [error] PluginJAR: at isabelle.Main$.$anonfun$main$4(main.scala:127) 12:43:46 [main] [error] PluginJAR: at isabelle.Main$.main(main.scala:136) 12:43:46 [main] [error] PluginJAR: at isabelle.Main.main(main.scala) 12:43:46 [main] [error] PluginJAR: Caused by: java.lang.ClassNotFoundException: isabelle.jedit.Base_Plugin 12:43:46 [main] [error] PluginJAR: at java.base/jdk.internal.loader.BuiltinClassLoader.loadClass(BuiltinClassLoader.java:581) 12:43:46 [main] [error] PluginJAR: at java.base/jdk.internal.loader.ClassLoaders$AppClassLoader.loadClass(ClassLoaders.java:178) 12:43:46 [main] [error] PluginJAR: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:521) 12:43:46 [main] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader.loadFromParent(JARClassLoader.java:517) 12:43:46 [main] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:87) 12:43:46 [main] [error] PluginJAR: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:521) 12:43:46 [main] [error] PluginJAR: ... 15 more 12:43:46 [main] [error] ErrorListDialog$ErrorEntry: /home/tsewell/.isabelle/jedit/jars/isabelle_jedit_base.jar: 12:43:46 [main] [error] ErrorListDialog$ErrorEntry: Cannot start: java.lang.NoClassDefFoundError: isabelle/jedit/Base_Plugin 12:43:46 [main] [error] View: No docking framework PIDE available, using the original one 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: Error while starting plugin isabelle.jedit_main.Plugin 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: java.lang.NoClassDefFoundError: isabelle/jedit/Main_Plugin 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.lang.ClassLoader.defineClass1(Native Method) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:1016) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:877) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader._loadClass(JARClassLoader.java:434) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:109) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.PluginJAR.activatePlugin(PluginJAR.java:921) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader._loadClass(JARClassLoader.java:392) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:109) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:521) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.classpath.ClassManagerImpl.classForName(ClassManagerImpl.java:204) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.NameSpace.classForName(NameSpace.java:1319) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.NameSpace.getClassImpl(NameSpace.java:1219) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.NameSpace.getClass(NameSpace.java:1160) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.Name.consumeNextObjectField(Name.java:298) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.Name.toObject(Name.java:199) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.BSHAmbiguousName.toObject(BSHAmbiguousName.java:60) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.objectAllocation(BSHAllocationExpression.java:86) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.eval(BSHAllocationExpression.java:62) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:102) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:47) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:644) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:738) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:727) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.BeanShellFacade._eval(BeanShellFacade.java:153) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.BeanShellFacade.eval(BeanShellFacade.java:117) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.BeanShell.eval(BeanShell.java:382) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.ServiceManager$Descriptor.getInstance(ServiceManager.java:345) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.ServiceManager.getService(ServiceManager.java:270) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.GUIUtilities.getServiceContextMenuItems(GUIUtilities.java:381) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.GUIUtilities.loadPopupMenu(GUIUtilities.java:349) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.GUIUtilities.loadPopupMenu(GUIUtilities.java:286) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.textarea.JEditTextArea.createPopupMenu(JEditTextArea.java:477) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.EditPane.propertiesChanged(EditPane.java:968) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.EditPane.(EditPane.java:841) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.View.createEditPane(View.java:2007) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.View.createEditPane(View.java:2002) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.View.restoreSplitConfig(View.java:1817) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.View.setSplitConfig(View.java:891) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.View.(View.java:1355) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2727) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.PerspectiveManager$PerspectiveHandler.endElement(PerspectiveManager.java:374) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.endElement(AbstractSAXParser.java:610) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLNSDTDValidator.endNamespaceScope(XMLNSDTDValidator.java:226) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.handleEndElement(XMLDTDValidator.java:1934) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.endElement(XMLDTDValidator.java:865) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanEndElement(XMLDocumentFragmentScannerImpl.java:1718) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl$FragmentContentDriver.next(XMLDocumentFragmentScannerImpl.java:2883) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(XMLDocumentScannerImpl.java:605) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLNSDocumentScannerImpl.next(XMLNSDocumentScannerImpl.java:112) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(XMLDocumentFragmentScannerImpl.java:534) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:888) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:824) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(XMLParser.java:141) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(AbstractSAXParser.java:1216) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.util.XMLUtilities.parseXML(XMLUtilities.java:140) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.SettingsXML.load(SettingsXML.java:155) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.PerspectiveManager.loadPerspective(PerspectiveManager.java:104) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.jEdit$9.run(jEdit.java:4368) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:313) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.security.AccessController.doPrivileged(Native Method) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:740) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: Caused by: java.lang.ClassNotFoundException: isabelle.jedit.Main_Plugin 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.base/jdk.internal.loader.BuiltinClassLoader.loadClass(BuiltinClassLoader.java:581) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.base/jdk.internal.loader.ClassLoaders$AppClassLoader.loadClass(ClassLoaders.java:178) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:521) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader.loadFromParent(JARClassLoader.java:517) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:87) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:521) 12:43:46 [AWT-EventQueue-0] [error] PluginJAR: ... 71 more 12:43:46 [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: /home/tsewell/.isabelle/jedit/jars/isabelle_jedit_main.jar: 12:43:46 [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: Cannot start: java.lang.NoClassDefFoundError: isabelle/jedit/Main_Plugin 12:43:48 [AWT-EventQueue-0] [error] Plugin: java.lang.NoClassDefFoundError: isabelle/jedit_base/Syntax_Style$ 12:43:48 [AWT-EventQueue-0] [error] Plugin: at isabelle.jedit.Plugin.start(plugin.scala:465) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.PluginJAR.startPlugin(PluginJAR.java:1740) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.PluginJAR.activatePlugin(PluginJAR.java:951) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.JARClassLoader._loadClass(JARClassLoader.java:392) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:109) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:521) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.base/java.lang.ClassLoader.defineClass1(Native Method) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:1016) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:877) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.JARClassLoader._loadClass(JARClassLoader.java:434) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:109) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:521) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.classpath.ClassManagerImpl.classForName(ClassManagerImpl.java:204) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.NameSpace.classForName(NameSpace.java:1319) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.NameSpace.getClassImpl(NameSpace.java:1219) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.NameSpace.getClass(NameSpace.java:1160) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.Name.consumeNextObjectField(Name.java:298) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.Name.toObject(Name.java:199) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.BSHAmbiguousName.toObject(BSHAmbiguousName.java:60) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.objectAllocation(BSHAllocationExpression.java:86) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.eval(BSHAllocationExpression.java:62) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:102) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:47) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:644) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:738) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:727) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.BeanShellFacade._eval(BeanShellFacade.java:153) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.BeanShellFacade.eval(BeanShellFacade.java:117) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.BeanShell.eval(BeanShell.java:382) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.ServiceManager$Descriptor.getInstance(ServiceManager.java:345) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.ServiceManager.getService(ServiceManager.java:270) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.GUIUtilities.getServiceContextMenuItems(GUIUtilities.java:381) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.GUIUtilities.loadPopupMenu(GUIUtilities.java:349) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.GUIUtilities.loadPopupMenu(GUIUtilities.java:286) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.textarea.JEditTextArea.createPopupMenu(JEditTextArea.java:477) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.EditPane.propertiesChanged(EditPane.java:968) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.EditPane.(EditPane.java:841) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.View.createEditPane(View.java:2007) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.View.createEditPane(View.java:2002) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.View.restoreSplitConfig(View.java:1817) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.View.setSplitConfig(View.java:891) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.View.(View.java:1355) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2727) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.PerspectiveManager$PerspectiveHandler.endElement(PerspectiveManager.java:374) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.endElement(AbstractSAXParser.java:610) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLNSDTDValidator.endNamespaceScope(XMLNSDTDValidator.java:226) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.handleEndElement(XMLDTDValidator.java:1934) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.endElement(XMLDTDValidator.java:865) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanEndElement(XMLDocumentFragmentScannerImpl.java:1718) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl$FragmentContentDriver.next(XMLDocumentFragmentScannerImpl.java:2883) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(XMLDocumentScannerImpl.java:605) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLNSDocumentScannerImpl.next(XMLNSDocumentScannerImpl.java:112) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(XMLDocumentFragmentScannerImpl.java:534) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:888) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:824) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(XMLParser.java:141) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.xml/com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(AbstractSAXParser.java:1216) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.util.XMLUtilities.parseXML(XMLUtilities.java:140) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.SettingsXML.load(SettingsXML.java:155) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.PerspectiveManager.loadPerspective(PerspectiveManager.java:104) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.jEdit$9.run(jEdit.java:4368) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:313) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.base/java.security.AccessController.doPrivileged(Native Method) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:740) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90) 12:43:48 [AWT-EventQueue-0] [error] Plugin: Caused by: java.lang.ClassNotFoundException: isabelle.jedit_base.Syntax_Style$ 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.base/jdk.internal.loader.BuiltinClassLoader.loadClass(BuiltinClassLoader.java:581) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.base/jdk.internal.loader.ClassLoaders$AppClassLoader.loadClass(ClassLoaders.java:178) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:521) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.JARClassLoader.loadFromParent(JARClassLoader.java:517) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:87) 12:43:48 [AWT-EventQueue-0] [error] Plugin: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:521) 12:43:48 [AWT-EventQueue-0] [error] Plugin: ... 74 more 12:43:49 [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:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: in file: inline evaluation of: `` new isabelle.jedit_main.Fold_Handler(); ;'' 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: : isabelle .jedit_main .Fold_Handler 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.UtilEvalError.toEvalError(UtilEvalError.java:84) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.UtilEvalError.toEvalError(UtilEvalError.java:89) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHAmbiguousName.toObject(BSHAmbiguousName.java:64) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.objectAllocation(BSHAllocationExpression.java:86) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.eval(BSHAllocationExpression.java:62) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:102) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:47) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:644) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:738) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:727) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.BeanShellFacade._eval(BeanShellFacade.java:153) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.BeanShellFacade.eval(BeanShellFacade.java:117) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.BeanShell.eval(BeanShell.java:382) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.ServiceManager$Descriptor.getInstance(ServiceManager.java:345) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.ServiceManager.getService(ServiceManager.java:270) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.ServiceManager$ServiceFoldHandlerProvider.getFoldHandler(ServiceManager.java:402) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.buffer.FoldHandler.getFoldHandler(FoldHandler.java:123) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.buffer.JEditBuffer.propertiesChanged(JEditBuffer.java:1462) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.Buffer.propertiesChanged(Buffer.java:1066) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.buffer.JEditBuffer.setMode(JEditBuffer.java:1889) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.buffer.JEditBuffer.setMode(JEditBuffer.java:1861) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.Buffer.setMode(Buffer.java:1317) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.Buffer.finishLoading(Buffer.java:2193) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.Buffer.access$400(Buffer.java:96) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.Buffer$1.run(Buffer.java:268) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.util.AwtRunnableQueue$RunRequestsInAWTThread.doAWTRequest(AwtRunnableQueue.java:158) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.util.AwtRunnableQueue$RunRequestsInAWTThread.run(AwtRunnableQueue.java:137) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:313) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/java.security.AccessController.doPrivileged(Native Method) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:740) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) 12:43:49 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90) 12:43:50 [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:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: in file: inline evaluation of: `` new isabelle.jedit_main.Isabelle_Sidekick_Default(); ;'' 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: : isabelle .jedit_main .Isabelle_Sidekick_Default 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.UtilEvalError.toEvalError(UtilEvalError.java:84) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.UtilEvalError.toEvalError(UtilEvalError.java:89) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHAmbiguousName.toObject(BSHAmbiguousName.java:64) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.objectAllocation(BSHAllocationExpression.java:86) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.eval(BSHAllocationExpression.java:62) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:102) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:47) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:644) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:738) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:727) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.BeanShellFacade._eval(BeanShellFacade.java:153) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.BeanShellFacade.eval(BeanShellFacade.java:117) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.BeanShell.eval(BeanShell.java:382) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.ServiceManager$Descriptor.getInstance(ServiceManager.java:345) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.ServiceManager.getService(ServiceManager.java:270) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at sidekick.SideKickPlugin.getParser(SideKickPlugin.java:237) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at sidekick.SideKickPlugin.getParserForBuffer(SideKickPlugin.java:293) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at sidekick.SideKick.setParser(SideKick.java:214) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at sidekick.SideKick.handleBufferUpdate(SideKick.java:244) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/java.lang.reflect.Method.invoke(Method.java:566) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.EditBus.dispatch(EditBus.java:242) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.EditBus.sendImpl(EditBus.java:281) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.EditBus.access$200(EditBus.java:87) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.EditBus$SendMessage.run(EditBus.java:461) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.EditBus.send(EditBus.java:206) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.Buffer.propertiesChanged(Buffer.java:1076) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.buffer.JEditBuffer.setMode(JEditBuffer.java:1889) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.buffer.JEditBuffer.setMode(JEditBuffer.java:1861) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.Buffer.setMode(Buffer.java:1317) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.Buffer.finishLoading(Buffer.java:2193) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.Buffer.access$400(Buffer.java:96) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.jedit.Buffer$1.run(Buffer.java:268) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.util.AwtRunnableQueue$RunRequestsInAWTThread.doAWTRequest(AwtRunnableQueue.java:158) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at org.gjt.sp.util.AwtRunnableQueue$RunRequestsInAWTThread.run(AwtRunnableQueue.java:137) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:313) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/java.security.AccessController.doPrivileged(Native Method) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:740) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) 12:43:50 [AWT-EventQueue-0] [error] BeanShellFacade: at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: Error while stopping plugin: 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: java.lang.NoClassDefFoundError: isabelle/jedit_base/Syntax_Style$ 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at isabelle.jedit.Plugin.stop(plugin.scala:490) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.PluginJAR.deactivatePlugin(PluginJAR.java:1068) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.PluginJAR.uninit(PluginJAR.java:1302) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.jEdit.removePluginJAR(jEdit.java:1306) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.jEdit.exit(jEdit.java:3146) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.jEdit.closeView(jEdit.java:4729) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.jEdit.closeView(jEdit.java:2782) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.View$WindowHandler.windowClosing(View.java:2240) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.AWTEventMulticaster.windowClosing(AWTEventMulticaster.java:357) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.AWTEventMulticaster.windowClosing(AWTEventMulticaster.java:357) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.Window.processWindowEvent(Window.java:2078) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/javax.swing.JFrame.processWindowEvent(JFrame.java:298) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.Window.processEvent(Window.java:2037) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.Component.dispatchEventImpl(Component.java:5008) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2321) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.Window.dispatchEventImpl(Window.java:2772) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.Component.dispatchEvent(Component.java:4840) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:772) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.security.AccessController.doPrivileged(Native Method) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:95) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:745) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:743) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.security.AccessController.doPrivileged(Native Method) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:742) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) 12:43:53 [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)