139140141142143144145146147148149
while (!isEmpty()) { Thread.sleep(100); } } finally { icmpProtocol.removeListener(this); } out.format(fmt_stats, this.stat.getStatistics()); }