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
|
