707172737475767778
try { super.run(); } finally { server.stop(); if (pgServer != null) pgServer.stop(); } } }