/** Called when the document is closed and released from memory. */
protected void notifyClosed() {
del.superNotifyClosed();
}
/** Called when the document is closed and released from memory. */
protected void notifyClosed() {
del.superNotifyClosed();
}
