Changes

Changeset 63574:4ea48cbc54c1 by wenzelm:
uniform server startup like windows and macos, for improved robustness if jEdit is terminated abruptly;