[DrJava] [ drjava-Bugs-1028211 ] NullPointerException when closing DrJava

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

Bugs item #1028211, was opened at 2004-09-14 23:19
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=1028211&group_id=44253

Category: Interactions
Group: Would be nice if fixed ...
Status: Open
Resolution: None
Priority: 5
Submitted By: Timo Rauchhaupt (timor)
Assigned to: Nobody/Anonymous (nobody)
Summary: NullPointerException when closing DrJava

Initial Comment:
I have got this exception, when I closed DrJava by
clicking the X in the application frame upper right corner.
This is occurred after I came back to DrJava from
another program.

DrJava Version : 20040825-2108
java.vm.vendor    Sun Microsystems Inc.
java.vm.version    1.4.2_05-b04
os.arch    i386
os.name    Linux
os.version    2.4.22-32tex

java.lang.NullPointerException
    at
edu.rice.cs.util.docnavigation.JTreeSortNavigator.removeNode(JTreeSortNavigator.java:405)
    at
edu.rice.cs.util.docnavigation.JTreeSortNavigator.removeDocument(JTreeSortNavigator.java:393)
    at
edu.rice.cs.drjava.model.DefaultGlobalModel.closeFileWithoutPrompt(DefaultGlobalModel.java:1562)
    at
edu.rice.cs.drjava.model.DefaultGlobalModel.closeFile(DefaultGlobalModel.java:1538)
    at
edu.rice.cs.drjava.model.DefaultSingleDisplayModel.closeFile(DefaultSingleDisplayModel.java:348)
    at
edu.rice.cs.drjava.model.DefaultSingleDisplayModel.closeAllFiles(DefaultSingleDisplayModel.java:387)
    at
edu.rice.cs.drjava.model.DefaultGlobalModel.quit(DefaultGlobalModel.java:1591)
    at
edu.rice.cs.drjava.ui.MainFrame._quit(MainFrame.java:3168)
    at
edu.rice.cs.drjava.ui.MainFrame.access$4600(MainFrame.java:105)
    at
edu.rice.cs.drjava.ui.MainFrame$86.windowClosing(MainFrame.java:1485)
    at
java.awt.AWTEventMulticaster.windowClosing(AWTEventMulticaster.java:291)
    at java.awt.Window.processWindowEvent(Window.java:1121)
    at
javax.swing.JFrame.processWindowEvent(JFrame.java:266)
    at java.awt.Window.processEvent(Window.java:1079)
    at
java.awt.Component.dispatchEventImpl(Component.java:3615)
    at
java.awt.Container.dispatchEventImpl(Container.java:1627)
    at java.awt.Window.dispatchEventImpl(Window.java:1606)
    at
java.awt.Component.dispatchEvent(Component.java:3477)
    at
java.awt.EventQueue.dispatchEvent(EventQueue.java:456)
    at
java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThread.java:201)
    at
java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:151)
    at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:145)
    at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:137)
    at
java.awt.EventDispatchThread.run(EventDispatchThread.java:100)


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

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