[isabelle] Isabelle2019-RC2 NullPointerException on Cygwin-Terminal (Windows 10)



When I start Isabelle2019-RC2 on the Cygwin-Terminal (Windows 10), I see lots of NullPointerExceptions like the following (all with the same trace).
It feels like their printing (?) makes the UI slightly less responsive.

Fabian


Exception in thread "AWT-EventQueue-0"
5:02:35 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: java.lang.NullPointerException 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.desktop/sun.awt.windows.WInputMethod$1.run(WInputMethod.java:597) 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:313) 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770) 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721) 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715) 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.base/java.security.AccessController.doPrivileged(Native Method) 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:95) 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:745) 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:743) 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.base/java.security.AccessController.doPrivileged(Native Method) 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:742) 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) 5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)


Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



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