#344 DrJava crashes when testers closed and new program is run

[Anonymous]

I ran a JUnit several times, closed all my files, opened up files from a
different project that used JFrames and a KeyListener (in case it's
related) and got the error I report below.

In the Test Output window I still see the results of the last test; it
looks like the test never finished.

Here is the stack trace:
edu.rice.cs.drjava.model.definitions.NoSuchDocumentException:
Cannot obtain the needed definitions document for (ODD 16:
DayTester.java)
at
edu.rice.cs.drjava.model.cache.DocumentCache.isDDocInCache(Docu
mentCache.java:180)
at
edu.rice.cs.drjava.model.DefaultGlobalModel$ConcreteOpenDefDoc.isM
odifiedSinceSave(DefaultGlobalModel.java:2264)
at
edu.rice.cs.drjava.model.DefaultGlobalModel$ConcreteOpenDefDoc.che
ckIfClassFileInSync(DefaultGlobalModel.java:2298)
at
edu.rice.cs.drjava.ui.JUnitPanel$JUnitErrorListPane._checkSync(JUnitP
anel.java:495)
at
edu.rice.cs.drjava.ui.JUnitPanel$JUnitErrorListPane._updateWithErrors
(JUnitPanel.java:382)
at
edu.rice.cs.drjava.ui.ErrorPanel$ErrorListPane.updateListPane(ErrorPa
nel.java:428)
at edu.rice.cs.drjava.ui.JUnitPanel.reset(JUnitPanel.java:199)
at
edu.rice.cs.drjava.ui.MainFrame$ModelListener$10.run(MainFrame.ja
va:5249)
at
java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:178)
at java.awt.EventQueue.dispatchEvent(EventQueue.java:454)
at
java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDisp
atchThread.java:234)
at
java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatc
hThread.java:184)
at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.jav
a:178)
at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.jav
a:170)
at java.awt.EventDispatchThread.run(EventDispatchThread.java:
100)