The dispose event is triggered because the JVM running the server was requested to shut down, e.g. in response to Ctrl-C