Git Repository Merge Request #1: Fix for bugs #941, #951 (open)

https://sourceforge.net/p/drjava/bugs/941/
https://sourceforge.net/p/drjava/bugs/951/

Fixed by making MainFrame._updateSavedConfiguration() return whether
the user cancelled the closing of flat (non-project) files to
MainFrame.quit(), and having MainFrame.quit() act accordingly by
keeping DrJava open.

[Christopher Chavez]

Thanks for putting out a new drjava-beta, I finally got to try it and noticed it incorporates this (or identical) fix, so I hope this was helpful. I have posted on each of the issue pages that the fix is available in the beta.