99100101102103104105106107108109
{ if (jetty != null) { try { jetty.stop(); } catch (Exception ignore) { // ignore }