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



On 14/05/2019 11:25, Fabian Immler wrote:
> 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.
> 
> 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)

Strange. I have never seen anything like that -- testing on various
virtual and real Windows installations.

Looking at
Isabelle2019-RC2/contrib/jdk-11.0.3+7/x86_64-windows/lib/src.zip file
java.desktop/sun/awt/windows/WInputMethod.java like 597 does not yield
anything particular, just some low-level operations:

                            Rectangle rc =
inputContext.getTextLocation(TextHitInfo.leading(0));
                            x = rc.x;
                            y = rc.y + rc.height;

If these sources have the correct line numbers, the NPE happens at rc.x,
i.e. the Rectangle rc is somehow invalid.

I have no further clues at the moment.


	Makarius




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