[DrJava] [ drjava-Bugs-723346 ] DrJava crashes on program exit, refuses to actually close

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

Bugs item #723346, was opened at 2003-04-17 13: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=723346&group_id=44253

Category: Interactions
Group: Annoying
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: DrJava crashes on program exit, refuses to actually close

Initial Comment:
Dr. Java gave me this error when I tried to exit the 
program after working on a project that involved timers.  
I'm not sure why, and I haven't been able to reproduce it.

java.lang.IllegalStateException: tried to quit when no 
slave running and startup not in progress	at 
edu.rice.cs.util.newjvm.AbstractMasterJVM.quitSlave
(AbstractMasterJVM.java:254)	at 
edu.rice.cs.drjava.model.repl.newjvm.MainJVM.killInterpr
eter(MainJVM.java:291)	at 
edu.rice.cs.drjava.model.DefaultGlobalModel.dispose
(DefaultGlobalModel.java:638)	at 
edu.rice.cs.drjava.model.DefaultGlobalModel.quit
(DefaultGlobalModel.java:618)	at 
edu.rice.cs.drjava.ui.MainFrame._quit
(MainFrame.java:1494)	at 
edu.rice.cs.drjava.ui.MainFrame.access$2000
(MainFrame.java:90)	at 
edu.rice.cs.drjava.ui.MainFrame$51.windowClosing
(MainFrame.java:884)	at 
java.awt.Window.processWindowEvent
(Window.java:1107)	at 
javax.swing.JFrame.processWindowEvent
(JFrame.java:266)	at java.awt.Window.processEvent
(Window.java:1066)	at 
java.awt.Component.dispatchEventImpl
(Component.java:3639)	at 
java.awt.Container.dispatchEventImpl
(Container.java:1623)	at 
java.awt.Window.dispatchEventImpl(Window.java:1590)
	at java.awt.Component.dispatchEvent
(Component.java:3480)	at 
java.awt.EventQueue.dispatchEvent
(EventQueue.java:450)	at 
java.awt.EventDispatchThread.pumpOneEventForHierarch
y(EventDispatchThread.java:197)	at 
java.awt.EventDispatchThread.pumpEventsForHierarchy
(EventDispatchThread.java:150)	at 
java.awt.EventDispatchThread.pumpEvents
(EventDispatchThread.java:144)	at 
java.awt.EventDispatchThread.pumpEvents
(EventDispatchThread.java:136)	at 
java.awt.EventDispatchThread.run
(EventDispatchThread.java:99)

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

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