Re: recent.xml – java.lang.IllegalArgumentException: requirement failed: GUI thread expected

[Tobias Nipkow]

Thanks for the hint (and thanks to Fabian for reminding me), I have also 
encountered it now.

Tobias

On 02/05/2025 18:37, Florian Haftmann wrote:
> This refers to 0af7fe946bfd9543697a6736ce244f1b2e004060
> 
> Quite often, jEdit refuses to start with the following traceback:
> 
>> ``11:38:49 [main] [error] Plugin: java.lang.IllegalArgumentException: 
>> requirement failed: GUI thread expected``
>> ``11:38:49 [main] [error] Plugin:  at scala.Predef$.require(Predef.scala:337)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> isabelle.GUI_Thread$.require(gui_thread.scala:24)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> isabelle.jedit.Isabelle_Navigator.init(isabelle_navigator.scala:158)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> isabelle.jedit.Main_Plugin.start(main_plugin.scala:445)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.PluginJAR.startPlugin(PluginJAR.java:1737)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.PluginJAR.activatePlugin(PluginJAR.java:957)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.JARClassLoader._loadClass(JARClassLoader.java:393)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:112)``
>> ``11:38:49 [main] [error] Plugin:  at java.base/ 
>> java.lang.ClassLoader.loadClass(ClassLoader.java:526)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.bsh.classpath.ClassManagerImpl.classForName(ClassManagerImpl.java:204)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.bsh.NameSpace.classForName(NameSpace.java:1320)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.bsh.NameSpace.getClassImpl(NameSpace.java:1220)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.bsh.NameSpace.getClass(NameSpace.java:1161)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.bsh.Name.consumeNextObjectField(Name.java:298)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.bsh.Name.toObject(Name.java:199)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.bsh.BSHAmbiguousName.toObject(BSHAmbiguousName.java:60)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.bsh.BSHAllocationExpression.objectAllocation(BSHAllocationExpression.java:86)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.bsh.BSHAllocationExpression.eval(BSHAllocationExpression.java:62)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:102)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:47)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:644)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:738)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:727)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.BeanShellFacade._eval(BeanShellFacade.java:153)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.BeanShellFacade.eval(BeanShellFacade.java:117)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.BeanShell.eval(BeanShell.java:382)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.ServiceManager$Descriptor.getInstance(ServiceManager.java:337)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.ServiceManager.getService(ServiceManager.java:262)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.io.VFSManager.getVFSForProtocol(VFSManager.java:156)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.MiscUtilities.isURL(MiscUtilities.java:583)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.io.VFSManager.getVFSForPath(VFSManager.java:174)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.MiscUtilities.pathsEqual(MiscUtilities.java:1198)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.BufferHistory.getEntry(BufferHistory.java:88)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.jEdit.composeBufferPropsFromHistory(jEdit.java:4409)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.jEdit.openTemporary(jEdit.java:1860)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.jEdit.openTemporary(jEdit.java:1826)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.jEdit.openTemporary(jEdit.java:1779)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.BeanShell._runScript(BeanShell.java:328)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.BeanShell._runScript(BeanShell.java:291)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.BeanShell.runScript(BeanShell.java:217)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.Macros$BeanShellHandler.runMacro(Macros.java:1115)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.jEdit.runStartupScripts(jEdit.java:3992)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> org.gjt.sp.jedit.jEdit.main(jEdit.java:553)``
>> ``11:38:49 [main] [error] Plugin:  at isabelle.jedit.JEdit_Main$. 
>> $anonfun$5(jedit_main.scala:126)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> isabelle.jedit.JEdit_Main$.main(jedit_main.scala:135)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> isabelle.jedit.JEdit_Main.main(jedit_main.scala)``
> 
> Remove ~/.isabelle/jedit/recent.xml restores proper behaviour.
> 
> I have attached one problematic recent.xml
> 
>      Florian

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5187 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20250509/df0f5a8a/attachment.bin>