#1655 Updater + Windows + Server Mode = manual process kill

[Alan Ezust]

If jEdit is running in background mode on windows, I guess there is an extra process that needs to be killed manually, because updater doesn't properly do it. And it's hard to tell if the update is a success in the end if I have to manually kill jEdit and the background server tray icon.