#356 Dr Java Error

[Anonymous]

This happened when i was closing Dr Java, and it was
asking to save files. It had this error:

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:308)

at
edu.rice.cs.drjava.model.repl.newjvm.MainJVM.killInterpre
ter(MainJVM.java:651)

at
edu.rice.cs.drjava.model.DefaultGlobalModel.dispose
(DefaultGlobalModel.java:671)

at
edu.rice.cs.drjava.model.DefaultGlobalModel.quit
(DefaultGlobalModel.java:651)

at edu.rice.cs.drjava.ui.MainFrame._quit
(MainFrame.java:2055)

at
edu.rice.cs.drjava.ui.MainFrame.access$2700
(MainFrame.java:103)

at
edu.rice.cs.drjava.ui.MainFrame$67.windowClosing
(MainFrame.java:1208)

at
java.awt.AWTEventMulticaster.windowClosing(Unknown
Source)

at java.awt.Window.processWindowEvent
(Unknown Source)

at javax.swing.JFrame.processWindowEvent
(Unknown Source)

at java.awt.Window.processEvent(Unknown
Source)

at java.awt.Component.dispatchEventImpl
(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.pumpOneEventForHierarch
y(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)