[DrJava] [ drjava-Bugs-999066 ] Closing blew up on me

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

Bugs item #999066, was opened at 2004-07-27 16:15
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=999066&group_id=44253

Category: None
Group: Crashes
Status: Open
Resolution: None
Priority: 3
Submitted By: Neal Horowitz (nrhorowitz)
Assigned to: Nobody/Anonymous (nobody)
Summary: Closing blew up on me

Initial Comment:
Sorry to bombard you guys, but after trying to quit
DrJava from a session with two meaningless untitled
files (which I was using to test the Replace All
behavior), I got a NullPointerException after refusing
to save the second file.  Sadly, I have so far been
unable to reproduce the bug, so it might be a fluke,
but I thought I'd submit it for the sake of thoroughness.

java.lang.NullPointerException
	at
edu.rice.cs.drjava.ui.MainFrame._save(MainFrame.java:2674)
	at
edu.rice.cs.drjava.ui.MainFrame.access$2100(MainFrame.java:103)
	at
edu.rice.cs.drjava.ui.MainFrame$21.actionPerformed(MainFrame.java:526)
	at
javax.swing.AbstractButton.fireActionPerformed(Unknown
Source)
	at
javax.swing.AbstractButton$Handler.actionPerformed(Unknown
Source)
	at
javax.swing.DefaultButtonModel.fireActionPerformed(Unknown
Source)
	at javax.swing.DefaultButtonModel.setPressed(Unknown
Source)
	at
javax.swing.plaf.basic.BasicButtonListener.mouseReleased(Unknown
Source)
	at java.awt.AWTEventMulticaster.mouseReleased(Unknown
Source)
	at java.awt.Component.processMouseEvent(Unknown Source)
	at javax.swing.JComponent.processMouseEvent(Unknown
Source)
	at java.awt.Component.processEvent(Unknown Source)
	at java.awt.Container.processEvent(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.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)

A little more playing around in the now-broken copy of
DrJava caused the following exception when I try to
switch to the unsaved, broken document.

java.lang.NullPointerException
	at
edu.rice.cs.drjava.model.DefaultSingleDisplayModel._setActiveDoc(DefaultSingleDisplayModel.java:493)
	at
edu.rice.cs.drjava.model.DefaultSingleDisplayModel.access$000(DefaultSingleDisplayModel.java:96)
	at
edu.rice.cs.drjava.model.DefaultSingleDisplayModel$1.itemCase(DefaultSingleDisplayModel.java:126)
	at
edu.rice.cs.drjava.model.DefaultSingleDisplayModel$1.itemCase(DefaultSingleDisplayModel.java:137)
	at
edu.rice.cs.util.docnavigation.JListNavigator$2.execute(JListNavigator.java:318)
	at
edu.rice.cs.drjava.model.DefaultSingleDisplayModel$2.gainedSelection(DefaultSingleDisplayModel.java:144)
	at
edu.rice.cs.util.docnavigation.JListNavigator.valueChanged(JListNavigator.java:324)
	at javax.swing.JList.fireSelectionValueChanged(Unknown
Source)
	at
javax.swing.JList$ListSelectionHandler.valueChanged(Unknown
Source)
	at
javax.swing.DefaultListSelectionModel.fireValueChanged(Unknown
Source)
	at
javax.swing.DefaultListSelectionModel.fireValueChanged(Unknown
Source)
	at
javax.swing.DefaultListSelectionModel.setValueIsAdjusting(Unknown
Source)
	at javax.swing.JList.setValueIsAdjusting(Unknown Source)
	at
javax.swing.plaf.basic.BasicListUI$Handler.mouseReleased(Unknown
Source)
	at java.awt.AWTEventMulticaster.mouseReleased(Unknown
Source)
	at java.awt.AWTEventMulticaster.mouseReleased(Unknown
Source)
	at java.awt.Component.processMouseEvent(Unknown Source)
	at javax.swing.JComponent.processMouseEvent(Unknown
Source)
	at java.awt.Component.processEvent(Unknown Source)
	at java.awt.Container.processEvent(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.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)

As an interesting side-note, performing "Close" just
doesn't do anything, but "Close All" (which also
happens when I try to quit) causes a similar exception
(at DefaultSingleDisplayModel.closeAllFiles, line 383).

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

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