[DrJava] [ drjava-Bugs-756809 ] Unexplained NullPointerException

[SourceForge.net <no...@so...>]

Bugs item #756809, was opened at 2003-06-18 14:58
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=756809&group_id=44253

Category: User interface
Group: Annoying
Status: Open
Resolution: None
Priority: 5
Submitted By: Dave Musicant (musicant)
Assigned to: Nobody/Anonymous (nobody)
Summary: Unexplained NullPointerException

Initial Comment:
I got the following uncaught exception only once from 
drjava-20030617-2059, with Windows XP running jdk 1.4.
1_03. I am unable to reproduce this problem, so I don't 
know how useful this bug report is. Nonetheless, here it 
is:

I started up DrJava, typed in a simple class, didn't save it 
(so the filename was still "Untitled"), and clicked Compile 
All. I got the following exception from DrJava:

java.lang.NullPointerException
        at sun.awt.windows.WInputMethod.
dispatchEvent(Unknown Source)
        at sun.awt.im.InputContext.
dispatchEvent(Unknown Source)
        at sun.awt.im.InputMethodContext.
dispatchEvent(Unknown Source)
        at java.awt.Component.
dispatchEventImpl(Unknown Source)
        at java.awt.Container.dispatchEventImpl(Unknown 
Source)
        at java.awt.Component.dispatchEvent(Unknown 
Source)
        at java.awt.LightweightDispatcher.
retargetMouseEvent(Unknown
Source)
        at java.awt.LightweightDispatcher.
trackMouseEnterExit(Unknown
Source)
        at java.awt.LightweightDispatcher.
processMouseEvent(Unknown
Source)
        at java.awt.LightweightDispatcher.
dispatchEvent(Unknown Source)
        at java.awt.Container.dispatchEventImpl(Unknown 
Source)
        at java.awt.Window.dispatchEventImpl(Unknown 
Source)
        at java.awt.Component.dispatchEvent(Unknown 
Source)
        at java.awt.EventQueue.dispatchEvent(Unknown 
Source)
        at java.awt.EventDispatchThread.
pumpOneEventForHierarchy(Unknown
Source)
        at java.awt.EventDispatchThread.
pumpEventsForHierarchy(Unknown
Source)
        at java.awt.EventDispatchThread.
pumpEvents(Unknown Source)
        at java.awt.EventDispatchThread.
pumpEvents(Unknown Source)
        at java.awt.EventDispatchThread.run(Unknown 
Source)

It appeared that DrJava continued to function well from 
here, though I will admit I saw this as an excuse to shut 
down DrJava and start over. I cannot seem to make this 
happen again, so... hopefully this info is useful.



----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=756809&group_id=44253