If DrJava is unable to restart itself (e.g. because the heap size
is too large), DrJava now asks the user if the configuration (.drjava
file) should be reset. If the user confirms, DrJava attempts to
load itself again. It gives up if loading fails a second time.
