12401241124212431244124512461247124812491250
try { Server server = _server; if (server != null) server.destroy(); } catch (Throwable e) { log().log(Level.WARNING, e.toString(), e); } finally { _server = null; }