Log file created on Wed May 22 16:14:46 CEST 2019
IMPORTANT:
Because updating this file after every log message would kill
performance, it will be *incomplete* unless you invoke the
Utilities->Troubleshooting->Update Activity Log on Disk command!
4:14:46 PM [main] [message] Log: When reporting bugs, please include the following information:
4:14:46 PM [main] [message] Log: java.version=11.0.3
4:14:46 PM [main] [message] Log: java.vm.version=11.0.3+7
4:14:46 PM [main] [message] Log: java.vm.name=OpenJDK 64-Bit Server VM
4:14:46 PM [main] [message] Log: java.runtime.version=11.0.3+7
4:14:46 PM [main] [message] Log: java.runtime.name=OpenJDK Runtime Environment
4:14:46 PM [main] [message] Log: java.vendor=AdoptOpenJDK
4:14:46 PM [main] [message] Log: java.compiler=null
4:14:46 PM [main] [message] Log: os.name=Windows 10
4:14:46 PM [main] [message] Log: os.version=10.0
4:14:46 PM [main] [message] Log: os.arch=amd64
4:14:46 PM [main] [message] Log: user.home=C:\Users\fabia
4:14:46 PM [main] [message] Log: java.home=C:\Users\fabia\work\isa\Isabelle2019-RC2\contrib\jdk-11.0.3+7\x86_64-windows
4:14:46 PM [main] [message] Log: java.class.path=C:\Users\fabia\work\isa\Isabelle2019-RC2\lib\classes\Pure.jar;C:\Users\fabia\work\isa\Isabelle2019-RC2\contrib\jfreechart-1.5.0\lib\iText-2.1.5.jar;C:\Users\fabia\work\isa\Isabelle2019-RC2\contrib\jfreechart-1.5.0\lib\jfreechart-1.5.0.jar;C:\Users\fabia\work\isa\Isabelle2019-RC2\contrib\jortho-1.0-2\jortho.jar;C:\Users\fabia\work\isa\Isabelle2019-RC2\contrib\postgresql-42.2.5\postgresql-42.2.5.jar;C:\Users\fabia\work\isa\Isabelle2019-RC2\contrib\scala-2.12.7\lib\jline-2.14.6.jar;C:\Users\fabia\work\isa\Isabelle2019-RC2\contrib\scala-2.12.7\lib\scala-compiler.jar;C:\Users\fabia\work\isa\Isabelle2019-RC2\contrib\scala-2.12.7\lib\scala-library.jar;C:\Users\fabia\work\isa\Isabelle2019-RC2\contrib\scala-2.12.7\lib\scalap-2.12.7.jar;C:\Users\fabia\work\isa\Isabelle2019-RC2\contrib\scala-2.12.7\lib\scala-parser-combinators_2.12-1.0.7.jar;C:\Users\fabia\work\isa\Isabelle2019-RC2\contrib\scala-2.12.7\lib\scala-reflect.jar;C:\Users\fabia\work\isa\Isabelle2019-RC2\contrib\scala-2.12.7\lib\scala-swing_2.12-2.0.3.jar;C:\Users\fabia\work\isa\Isabelle2019-RC2\contrib\scala-2.12.7\lib\scala-xml_2.12-1.0.6.jar;C:\Users\fabia\work\isa\Isabelle2019-RC2\contrib\sqlite-jdbc-3.27.2.1\sqlite-jdbc-3.27.2.1.jar;C:\Users\fabia\work\isa\Isabelle2019-RC2\contrib\ssh-java-20190323\lib\jsch-0.1.55.jar;C:\Users\fabia\work\isa\Isabelle2019-RC2\contrib\ssh-java-20190323\lib\jzlib-1.1.3.jar;C:\Users\fabia\work\isa\Isabelle2019-RC2\contrib\ssh-java-20190323\lib\jce.jar;C:\Users\fabia\work\isa\Isabelle2019-RC2\contrib\xz-java-1.8\lib\xz.jar;C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jedit.jar
4:14:46 PM [main] [message] jEdit: starting with command line arguments: -settings=C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit -server=Isabelle2019-RC2 -reuseview -nobackground -nosplash -log=9 C:\Users\fabia\Scratch.thy
4:14:46 PM [main] [debug] jEdit: before splash screen activation:46 ms
4:14:46 PM [main] [debug] jEdit: after splash screen activation:46 ms
4:14:46 PM [main] [debug] MiscUtilities: Saving backup of file "C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\activity.log" to "C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\settings-backup\activity.log~1~"
4:14:46 PM [main] [notice] jEdit: jEdit version 5.5.0
4:14:46 PM [main] [message] jEdit: Settings directory is C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit
4:14:46 PM [main] [message] jEdit: jEdit home directory is C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist
4:14:46 PM [main] [message] BeanShell: Beanshell Init
4:14:46 PM [main] [debug] jEdit: Loading site snippet: C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\properties\jEdit.props
4:14:46 PM [main] [debug] GUIUtilities: Icon theme set to: tango
4:14:46 PM [main] [debug] GUIUtilities: Loading icon theme from: jeditresource:/org/gjt/sp/jedit/icons/themes/tango/
4:14:46 PM [main] [debug] EditServer: jEdit server started on port 58398
4:14:46 PM [main] [debug] EditServer: Authorization key is 1349166270
4:14:46 PM [main] [debug] jEdit: initPLAF non-edt old=javax.swing.plaf.metal.MetalLookAndFeel requested=com.sun.java.swing.plaf.windows.WindowsLookAndFeel new=com.sun.java.swing.plaf.windows.WindowsLookAndFeel
4:14:46 PM [main] [debug] ActionSet: Loading actions from jar:file:/C:/Users/fabia/work/isa/Isabelle2019-RC2/src/Tools/jEdit/dist/jedit.jar!/org/gjt/sp/jedit/actions.xml
4:14:46 PM [main] [debug] DockableWindowManager: Loading dockables from jar:file:/C:/Users/fabia/work/isa/Isabelle2019-RC2/src/Tools/jEdit/dist/jedit.jar!/org/gjt/sp/jedit/dockables.xml
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: SearchSettingsChanged[source=null]
4:14:46 PM [main] [notice] jEdit: Loading plugins from C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=LOADED,exit=false,version=0.7,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\Code2HTML.jar,class=code2html.Code2HTMLPlugin]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=LOADED,exit=false,version=1.7.4,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\CommonControls.jar,class=CommonControlsPlugin]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=LOADED,exit=false,version=5.1.4,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\Console.jar,class=console.ConsolePlugin]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=LOADED,exit=false,version=2.3,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\ErrorList.jar,class=errorlist.ErrorListPlugin]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=LOADED,exit=false,version=2.2,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\Highlight.jar,class=gatchan.highlight.HighlightPlugin]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=LOADED,exit=false,version=null,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\idea-icons.jar]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=LOADED,exit=false,version=1.0,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\Isabelle-jEdit-base.jar,class=isabelle.jedit_base.Plugin]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=LOADED,exit=false,version=11.0,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\Isabelle-jEdit.jar,class=isabelle.jedit.Plugin]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=LOADED,exit=false,version=null,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\jsr305-2.0.0.jar]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=LOADED,exit=false,version=null,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\kappalayout.jar]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=LOADED,exit=false,version=2.7,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\Navigator.jar,class=ise.plugin.nav.NavigatorPlugin]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=LOADED,exit=false,version=5.0,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\QuickNotepad.jar,class=QuickNotepadPlugin]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=LOADED,exit=false,version=1.8,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\SideKick.jar,class=sidekick.SideKickPlugin]
4:14:46 PM [main] [notice] jEdit: Loading plugins from C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\jars
4:14:46 PM [main] [message] HistoryModel: Loading history
4:14:46 PM [main] [message] BufferHistory: Loading C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\recent.xml
4:14:46 PM [main] [message] KillRing: Loading C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\killring.xml
4:14:46 PM [main] [debug] jEdit: initPLAF non-edt old=com.sun.java.swing.plaf.windows.WindowsLookAndFeel requested=com.sun.java.swing.plaf.windows.WindowsLookAndFeel new=com.sun.java.swing.plaf.windows.WindowsLookAndFeel
4:14:46 PM [main] [debug] jEdit: SOCKS proxy disabled
4:14:46 PM [main] [debug] jEdit: HTTP proxy disabled
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PropertiesChanged[source=null]
4:14:46 PM [main] [message] jEdit: Loading mode catalog file C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\modes\catalog
4:14:46 PM [main] [message] jEdit: Loading mode catalog file C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\modes\catalog
4:14:46 PM [main] [debug] PluginJAR: Activating code2html.Code2HTMLPlugin because of startup
4:14:46 PM [main] [debug] PluginJAR: Opening C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\Code2HTML.jar
4:14:46 PM [main] [debug] PluginJAR: Activating console.ConsolePlugin because of startup
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=ACTIVATED,exit=false,version=0.7,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\Code2HTML.jar,class=code2html.Code2HTMLPlugin]
4:14:46 PM [main] [debug] PluginJAR: Opening C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\Console.jar
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: DynamicMenuChanged[menu=plugin.console.ConsolePlugin.menu,source=null]
4:14:46 PM [main] [debug] ConsolePlugin: Loaded 17 Actions
4:14:46 PM [main] [debug] PluginJAR: Opening C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\ErrorList.jar
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=ACTIVATED,exit=false,version=2.3,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\ErrorList.jar,class=errorlist.ErrorListPlugin]
4:14:46 PM [main] [debug] PluginJAR: Activating gatchan.highlight.HighlightPlugin because of startup
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: DynamicMenuChanged[menu=plugin.console.ConsolePlugin.menu,source=null]
4:14:46 PM [main] [debug] PluginJAR: Opening C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\Highlight.jar
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=ACTIVATED,exit=false,version=5.1.4,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\Console.jar,class=console.ConsolePlugin]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: DynamicMenuChanged[menu=plugin.console.ConsolePlugin.menu,source=null]
4:14:46 PM [main] [debug] PluginJAR: Activating isabelle.jedit_base.Plugin because of startup
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=ACTIVATED,exit=false,version=2.2,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\Highlight.jar,class=gatchan.highlight.HighlightPlugin]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: DynamicMenuChanged[menu=plugin.console.ConsolePlugin.menu,source=null]
4:14:46 PM [main] [debug] PluginJAR: Opening C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\Isabelle-jEdit-base.jar
4:14:46 PM [main] [debug] PluginJAR: Activating ise.plugin.nav.NavigatorPlugin because of startup
4:14:46 PM [main] [debug] PluginJAR: Opening C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\Navigator.jar
4:14:46 PM [AWT-EventQueue-0] [debug] jEdit: initPLAF edt old=com.sun.java.swing.plaf.windows.WindowsLookAndFeel requested=com.sun.java.swing.plaf.windows.WindowsLookAndFeel new=com.sun.java.swing.plaf.windows.WindowsLookAndFeel
4:14:46 PM [main] [debug] PluginJAR: Activating sidekick.SideKickPlugin because of startup
4:14:46 PM [main] [debug] PluginJAR: Opening C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\SideKick.jar
4:14:46 PM [AWT-EventQueue-0] [debug] jEdit: SOCKS proxy disabled
4:14:46 PM [AWT-EventQueue-0] [debug] jEdit: HTTP proxy disabled
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PropertiesChanged[source=null]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=ACTIVATED,exit=false,version=1.0,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\Isabelle-jEdit-base.jar,class=isabelle.jedit_base.Plugin]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: DynamicMenuChanged[menu=plugin.console.ConsolePlugin.menu,source=null]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=ACTIVATED,exit=false,version=2.7,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\Navigator.jar,class=ise.plugin.nav.NavigatorPlugin]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: DynamicMenuChanged[menu=plugin.console.ConsolePlugin.menu,source=null]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=ACTIVATED,exit=false,version=1.8,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\SideKick.jar,class=sidekick.SideKickPlugin]
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: DynamicMenuChanged[menu=plugin.console.ConsolePlugin.menu,source=null]
4:14:46 PM [main] [debug] Macros: Registered beanshell macro handler
4:14:46 PM [AWT-EventQueue-0] [debug] EditBus: DynamicMenuChanged[menu=macros,source=null]
4:14:46 PM [main] [message] BeanShell: Running script C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\startup\startup.bsh
4:14:46 PM [main] [notice] jEdit$5: Loading edit mode C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\modes\text.xml
4:14:46 PM [main] [debug] String: BeanShell interpreter version 2.0b4-jedit
4:14:46 PM [main] [debug] jEdit: main done:432 ms
4:14:46 PM [AWT-EventQueue-0] [message] PerspectiveManager: Loading C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\perspective.xml
4:14:47 PM [AWT-EventQueue-0] [debug] EditBus: BufferUpdate[what=PROPERTIES_CHANGED,view=null,source=Untitled-1 (%ISABELLE_HOME%\)]
4:14:47 PM [AWT-EventQueue-0] [debug] EditBus: BufferUpdate[what=CREATED,view=null,source=Untitled-1 (%ISABELLE_HOME%\)]
4:14:47 PM [AWT-EventQueue-0] [debug] EditBus: BufferUpdate[what=LOAD_STARTED,view=null,source=Untitled-1 (%ISABELLE_HOME%\)]
4:14:47 PM [AWT-EventQueue-0] [debug] EditBus: BufferUpdate[what=LOADED,view=null,source=Untitled-1 (%ISABELLE_HOME%\)]
4:14:47 PM [AWT-EventQueue-0] [debug] BufferSet: 339138879: addBufferSetListener org.gjt.sp.jedit.EditPane[inactive]
4:14:47 PM [AWT-EventQueue-0] [debug] PluginJAR: Opening C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\Isabelle-jEdit.jar
4:14:57 PM [AWT-EventQueue-0] [debug] jEdit: initPLAF edt old=com.sun.java.swing.plaf.windows.WindowsLookAndFeel requested=com.sun.java.swing.plaf.windows.WindowsLookAndFeel new=com.sun.java.swing.plaf.windows.WindowsLookAndFeel
4:14:57 PM [AWT-EventQueue-0] [debug] jEdit: SOCKS proxy disabled
4:14:57 PM [AWT-EventQueue-0] [debug] jEdit: HTTP proxy disabled
4:14:57 PM [AWT-EventQueue-0] [debug] EditBus: BufferUpdate[what=PROPERTIES_CHANGED,view=null,source=Untitled-1 (%ISABELLE_HOME%\)]
4:14:57 PM [AWT-EventQueue-0] [debug] EditBus: PropertiesChanged[source=null]
4:14:57 PM [AWT-EventQueue-0] [debug] EditBus: BufferChanging[what=BUFFER_CHANGING,source=org.gjt.sp.jedit.EditPane[inactive]]
4:14:57 PM [AWT-EventQueue-0] [debug] BufferSet: 339138879 addBufferAt(Untitled-1 (%ISABELLE_HOME%\),-1)
4:14:57 PM [AWT-EventQueue-0] [debug] BufferSet: 339138879: Buffer added Untitled-1 (%ISABELLE_HOME%\) at 0
4:14:57 PM [AWT-EventQueue-0] [debug] EditBus: EditPaneUpdate[what=CREATED,source=org.gjt.sp.jedit.EditPane[inactive]]
4:14:57 PM [AWT-EventQueue-0] [debug] BufferSet: 339138879 addBufferAt(Untitled-1 (%ISABELLE_HOME%\),0)
4:14:57 PM [AWT-EventQueue-0] [debug] EditBus: ViewUpdate[what=CREATED,source=org.gjt.sp.jedit.View[active]]
4:14:57 PM [AWT-EventQueue-0] [debug] SideKick: No parser
4:14:57 PM [AWT-EventQueue-0] [debug] SideKickParsedData: Setting parsed data of org.gjt.sp.jedit.View[active] to sidekick.SideKickParsedData@6415bf81
4:14:57 PM [AWT-EventQueue-0] [debug] EditBus: SideKickUpdate[source=null]
4:14:57 PM [AWT-EventQueue-0] [debug] EditBus: BufferUpdate[what=LOAD_STARTED,view=null,source=Scratch.thy (%USERPROFILE%\)]
4:14:57 PM [AWT-EventQueue-0] [debug] BufferSet: 339138879 addBufferAt(Scratch.thy (%USERPROFILE%\),-1)
4:14:57 PM [AWT-EventQueue-0] [debug] BufferSet: 339138879: Buffer added Scratch.thy (%USERPROFILE%\) at 0
4:14:57 PM [AWT-EventQueue-0] [debug] BufferSetManager: removeBuffer(BufferSet[nbBuffers=2],Untitled-1 (%ISABELLE_HOME%\))
4:14:57 PM [AWT-EventQueue-0] [debug] BufferSet: 339138879: Buffer removed Untitled-1 (%ISABELLE_HOME%\)
4:14:57 PM [AWT-EventQueue-0] [debug] EditBus: BufferChanging[what=BUFFER_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:14:57 PM [AWT-EventQueue-0] [debug] EditBus: EditPaneUpdate[what=BUFFER_CHANGED,source=org.gjt.sp.jedit.EditPane[active]]
4:14:57 PM [AWT-EventQueue-0] [debug] BufferSetManager: Buffer:Untitled-1 (%ISABELLE_HOME%\) is in no bufferSet anymore, closing it
4:14:57 PM [AWT-EventQueue-0] [debug] EditBus: BufferUpdate[what=CLOSING,view=null,source=Untitled-1 (%ISABELLE_HOME%\)]
4:14:57 PM [AWT-EventQueue-0] [debug] EditBus: BufferUpdate[what=CLOSED,view=null,source=Untitled-1 (%ISABELLE_HOME%\)]
4:14:57 PM [AWT-EventQueue-0] [debug] EditBus: BufferUpdate[what=CREATED,view=null,source=Scratch.thy (%USERPROFILE%\)]
4:14:57 PM [AWT-EventQueue-0] [debug] EditBus: EditorStarted[source=null]
4:14:57 PM [AWT-EventQueue-0] [debug] EditBus: PluginUpdate[what=ACTIVATED,exit=false,version=11.0,source=C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\jars\Isabelle-jEdit.jar,class=isabelle.jedit.Plugin]
4:14:57 PM [AWT-EventQueue-0] [debug] EditBus: DynamicMenuChanged[menu=plugin.console.ConsolePlugin.menu,source=null]
4:14:58 PM [AWT-EventQueue-0] [debug] EditBus: ViewUpdate[what=VIEW_ACTIVATED,source=org.gjt.sp.jedit.View[active]]
4:14:58 PM [AWT-EventQueue-0] [debug] ActionSet: Loading actions from jar:file:/C:/Users/fabia/work/isa/Isabelle2019-RC2/src/Tools/jEdit/dist/jedit.jar!/org/gjt/sp/jedit/browser.actions.xml
4:14:58 PM [AWT-EventQueue-0] [debug] EditBus: DockableWindowUpdate[what=ACTIVATED,dockable=vfs.browser,source=isabelle.jedit_base.PIDE_Docking_Framework$$anon$1[,0,34,1536x736,invalid,layout=org.gjt.sp.jedit.gui.DockableLayout,alignmentX=0.0,alignmentY=0.0,border=,flags=9,maximumSize=,minimumSize=,preferredSize=]]
4:14:58 PM [AWT-EventQueue-0] [debug] DockableWindowManager: Loading dockables from jeditresource:/Isabelle-jEdit.jar!/dockables.xml
4:14:58 PM [AWT-EventQueue-0] [debug] EditBus: DockableWindowUpdate[what=ACTIVATED,dockable=isabelle-theories,source=isabelle.jedit_base.PIDE_Docking_Framework$$anon$1[,0,34,1536x736,invalid,layout=org.gjt.sp.jedit.gui.DockableLayout,alignmentX=0.0,alignmentY=0.0,border=,flags=9,maximumSize=,minimumSize=,preferredSize=]]
4:14:59 PM [AWT-EventQueue-0] [debug] jEdit: initPLAF edt old=com.sun.java.swing.plaf.windows.WindowsLookAndFeel requested=com.sun.java.swing.plaf.windows.WindowsLookAndFeel new=com.sun.java.swing.plaf.windows.WindowsLookAndFeel
4:14:59 PM [AWT-EventQueue-0] [debug] jEdit: SOCKS proxy disabled
4:14:59 PM [AWT-EventQueue-0] [debug] jEdit: HTTP proxy disabled
4:14:59 PM [AWT-EventQueue-0] [debug] EditBus: BufferUpdate[what=PROPERTIES_CHANGED,view=null,source=Scratch.thy (%USERPROFILE%\)]
4:14:59 PM [AWT-EventQueue-0] [debug] EditBus: PropertiesChanged[source=null]
4:15:00 PM [AWT-EventQueue-0] [debug] JARClassLoader: Would have returned null for getResource(META-INF/services/java.sql.Driver)
4:15:00 PM [AWT-EventQueue-0] [debug] JARClassLoader: returning(jar:file:/C:/Users/fabia/work/isa/Isabelle2019-RC2/contrib/postgresql-42.2.5/postgresql-42.2.5.jar!/META-INF/services/java.sql.Driver)
4:15:00 PM [AWT-EventQueue-0] [message] HistoryModel: Saving history
4:15:00 PM [AWT-EventQueue-0] [debug] MiscUtilities: Saving backup of file "C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\history" to "C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\settings-backup\history~1~"
4:15:00 PM [AWT-EventQueue-0] [message] BufferHistory: Saving C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\recent.xml
4:15:00 PM [AWT-EventQueue-0] [debug] MiscUtilities: Saving backup of file "C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\recent.xml" to "C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\settings-backup\recent.xml~1~"
4:15:00 PM [AWT-EventQueue-0] [message] KillRing: Saving C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\killring.xml
4:15:00 PM [AWT-EventQueue-0] [debug] MiscUtilities: Saving backup of file "C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\killring.xml" to "C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\settings-backup\killring.xml~1~"
4:15:00 PM [AWT-EventQueue-0] [debug] MiscUtilities: Saving backup of file "C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\properties" to "C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\settings-backup\properties~1~"
4:15:00 PM [AWT-EventQueue-0] [debug] jEdit: initPLAF edt old=com.sun.java.swing.plaf.windows.WindowsLookAndFeel requested=com.sun.java.swing.plaf.windows.WindowsLookAndFeel new=com.sun.java.swing.plaf.windows.WindowsLookAndFeel
4:15:00 PM [AWT-EventQueue-0] [debug] jEdit: SOCKS proxy disabled
4:15:00 PM [AWT-EventQueue-0] [debug] jEdit: HTTP proxy disabled
4:15:00 PM [AWT-EventQueue-0] [debug] EditBus: BufferUpdate[what=PROPERTIES_CHANGED,view=null,source=Scratch.thy (%USERPROFILE%\)]
4:15:00 PM [AWT-EventQueue-0] [debug] EditBus: PropertiesChanged[source=null]
4:15:01 PM [AWT-EventQueue-0] [message] jEdit: Startup complete: 14640 ms
4:15:01 PM [AWT-EventQueue-0] [notice] Token_Markup$Mode_Provider: Loading edit mode C:\Users\fabia\work\isa\Isabelle2019-RC2\src\Tools\jEdit\dist\modes\isabelle.xml
4:15:01 PM [AWT-EventQueue-0] [debug] EditBus: BufferUpdate[what=PROPERTIES_CHANGED,view=null,source=Scratch.thy (%USERPROFILE%\)]
4:15:01 PM [AWT-EventQueue-0] [debug] Isabelle_Sidekick_Default: isabelle: activated for Scratch.thy (%USERPROFILE%\)
4:15:01 PM [AWT-EventQueue-0] [debug] EditBus: BufferUpdate[what=LOADED,view=null,source=Scratch.thy (%USERPROFILE%\)]
4:15:01 PM [AWT-EventQueue-0] [debug] SideKickParsedData: Setting parsed data of org.gjt.sp.jedit.View[active] to sidekick.SideKickParsedData@a43da8c
4:15:01 PM [AWT-EventQueue-0] [debug] EditBus: SideKickUpdate[source=null]
4:15:01 PM [AWT-EventQueue-0] [debug] JEditTextArea: InputMethodSupport is activated
4:15:01 PM [AWT-EventQueue-0] [debug] SideKickParsedData: Setting parsed data of org.gjt.sp.jedit.View[active] to sidekick.SideKickParsedData@66f6c697
4:15:01 PM [AWT-EventQueue-0] [debug] EditBus: SideKickUpdate[source=null]
4:15:01 PM [AWT-EventQueue-0] [debug] EditBus: BufferUpdate[what=PROPERTIES_CHANGED,view=null,source=Scratch.thy (%USERPROFILE%\)]
4:15:04 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:15:07 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:15:07 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:15:08 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0" 
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: java.lang.NullPointerException
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/sun.awt.windows.WInputMethod$1.run(WInputMethod.java:597)
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:313)
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770)
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721)
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715)
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.base/java.security.AccessController.doPrivileged(Native Method)
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:95)
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:745)
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:743)
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.base/java.security.AccessController.doPrivileged(Native Method)
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:742)
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
4:15:11 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)
4:15:11 PM [AWT-EventQueue-0] [debug] EditBus: ViewUpdate[what=VIEW_ACTIVATED,source=org.gjt.sp.jedit.View[active]]
4:15:11 PM [AWT-EventQueue-0] [debug] jEdit: checkBufferStatus for all buffers
4:15:11 PM [AWT-EventQueue-0] [debug] EditBus: DynamicMenuChanged[menu=recent-files,source=null]
4:15:11 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:15:12 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:15:16 PM [AWT-EventQueue-0] [debug] EditBus: DockableWindowUpdate[what=ACTIVATED,dockable=log-viewer,source=isabelle.jedit_base.PIDE_Docking_Framework$$anon$1[,0,34,1536x735,layout=org.gjt.sp.jedit.gui.DockableLayout,alignmentX=0.0,alignmentY=0.0,border=,flags=9,maximumSize=,minimumSize=,preferredSize=]]
4:15:16 PM [AWT-EventQueue-0] [debug] MiscUtilities: Saving backup of file "C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\perspective.xml" to "C:\Users\fabia\.isabelle\Isabelle2019-RC2\jedit\settings-backup\perspective.xml~1~"
4:15:25 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:15:26 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:15:29 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:15:30 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:15:31 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:15:35 PM [AWT-EventQueue-0] [debug] EditBus: DockableWindowUpdate[what=ACTIVATED,dockable=log-viewer,source=isabelle.jedit_base.PIDE_Docking_Framework$$anon$1[,0,34,1536x735,layout=org.gjt.sp.jedit.gui.DockableLayout,alignmentX=0.0,alignmentY=0.0,border=,flags=9,maximumSize=,minimumSize=,preferredSize=]]
4:15:44 PM [AWT-EventQueue-0] [debug] EditBus: ViewUpdate[what=VIEW_ACTIVATED,source=org.gjt.sp.jedit.View[active]]
4:15:44 PM [AWT-EventQueue-0] [debug] jEdit: checkBufferStatus for all buffers
4:15:44 PM [AWT-EventQueue-0] [debug] EditBus: DynamicMenuChanged[menu=recent-files,source=null]
4:15:53 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:15:54 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:15:58 PM [AWT-EventQueue-0] [debug] EditBus: DockableWindowUpdate[what=ACTIVATED,dockable=log-viewer,source=isabelle.jedit_base.PIDE_Docking_Framework$$anon$1[,0,34,1536x735,layout=org.gjt.sp.jedit.gui.DockableLayout,alignmentX=0.0,alignmentY=0.0,border=,flags=9,maximumSize=,minimumSize=,preferredSize=]]
4:16:10 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:16:10 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:16:11 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:16:12 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:16:12 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:16:14 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:16:22 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0" 
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: java.lang.NullPointerException
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/sun.awt.windows.WInputMethod$1.run(WInputMethod.java:597)
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:313)
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770)
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721)
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715)
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.base/java.security.AccessController.doPrivileged(Native Method)
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:95)
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:745)
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:743)
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.base/java.security.AccessController.doPrivileged(Native Method)
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:742)
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
4:16:25 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)
4:16:25 PM [AWT-EventQueue-0] [debug] EditBus: ViewUpdate[what=VIEW_ACTIVATED,source=org.gjt.sp.jedit.View[active]]
4:16:25 PM [AWT-EventQueue-0] [debug] jEdit: checkBufferStatus for all buffers
4:16:25 PM [AWT-EventQueue-0] [debug] EditBus: DynamicMenuChanged[menu=recent-files,source=null]
4:16:26 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:16:27 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:16:29 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:16:30 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:16:31 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:16:38 PM [AWT-EventQueue-0] [debug] EditBus: ViewUpdate[what=FULL_SCREEN_TOGGLED,source=org.gjt.sp.jedit.View[active]]
4:16:38 PM [AWT-EventQueue-0] [debug] EditBus: ViewUpdate[what=VIEW_ACTIVATED,source=org.gjt.sp.jedit.View[active]]
4:16:38 PM [AWT-EventQueue-0] [debug] jEdit: checkBufferStatus for all buffers
4:16:38 PM [AWT-EventQueue-0] [debug] EditBus: DynamicMenuChanged[menu=recent-files,source=null]
4:16:39 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:16:39 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:16:41 PM [AWT-EventQueue-0] [debug] EditBus: ViewUpdate[what=VIEW_ACTIVATED,source=org.gjt.sp.jedit.View[active]]
4:16:41 PM [AWT-EventQueue-0] [debug] jEdit: checkBufferStatus for all buffers
4:16:41 PM [AWT-EventQueue-0] [debug] EditBus: DynamicMenuChanged[menu=recent-files,source=null]
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0" 
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: java.lang.NullPointerException
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/sun.awt.windows.WInputMethod$1.run(WInputMethod.java:597)
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:313)
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770)
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721)
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715)
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.base/java.security.AccessController.doPrivileged(Native Method)
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:95)
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:745)
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:743)
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.base/java.security.AccessController.doPrivileged(Native Method)
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:742)
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
4:16:41 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)
4:16:42 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:16:42 PM [AWT-EventQueue-0] [debug] EditBus: PositionChanging[what=POSITION_CHANGING,source=org.gjt.sp.jedit.EditPane[active]]
4:16:46 PM [AWT-EventQueue-0] [debug] EditBus: ViewUpdate[what=FULL_SCREEN_TOGGLED,source=org.gjt.sp.jedit.View[active]]
4:16:46 PM [AWT-EventQueue-0] [debug] EditBus: ViewUpdate[what=VIEW_ACTIVATED,source=org.gjt.sp.jedit.View[active]]
4:16:46 PM [AWT-EventQueue-0] [debug] jEdit: checkBufferStatus for all buffers
4:16:46 PM [AWT-EventQueue-0] [debug] EditBus: DynamicMenuChanged[menu=recent-files,source=null]
4:16:54 PM [AWT-EventQueue-0] [debug] EditBus: DockableWindowUpdate[what=ACTIVATED,dockable=log-viewer,source=isabelle.jedit_base.PIDE_Docking_Framework$$anon$1[,0,34,1536x735,layout=org.gjt.sp.jedit.gui.DockableLayout,alignmentX=0.0,alignmentY=0.0,border=,flags=9,maximumSize=,minimumSize=,preferredSize=]]