part, SaveablesLifecycleEvent.POST_CLOSE,
new Saveable[] { this }, false));
// Now fix the hashing so it uses the connected document
initializeHashing();
// Finally, add this saveable back to the listener
lifecycleListener
.handleLifecycleEvent(new SaveablesLifecycleEvent(part,
SaveablesLifecycleEvent.POST_OPEN,
new Saveable[] { this }, false));
}
}