Fixed a NullPointerException that could occur if two modal windows
were opened and closed in a certain sequence.
M src/edu/rice/cs/drjava/ui/MainFrame.java
Authored by: mgricken 2008-09-26
Parent: [r4671]
Child: [r4673]
