#1 Exit Command needs a warning.

[Naomi Wrighton]

Exiting using 'Exit' from the Commands menu can lead to trouble as it is then diffeicult to rerun. (I found that shutting the javaw process worked for me.) I suggest you consider putting a warning box on this menu item, or possibly removing it, if it is never sensible to exit without shutting the server.