721722723724725726727728729730731
final DestructionCallback dc = (DestructionCallback) this.destructionListeners.get(i); if (dc != null) { dc.destroyed(); } } catch (Throwable t) { final String err = "Problem with asynchronous " + "destruction notification: " + t.getMessage();