[128491] Needed to swap order of notify extenders of close and releasing EMF resources such that notify occurs before actual release. This is because extenders may need to do something with the EMF resources to allow them to clean up, and so the resources need to be there before they are closed.
diff --git a/plugins/org.eclipse.jem.util/jemutil/org/eclipse/jem/util/emf/workbench/ResourceSetWorkbenchSynchronizer.java b/plugins/org.eclipse.jem.util/jemutil/org/eclipse/jem/util/emf/workbench/ResourceSetWorkbenchSynchronizer.java
index 1781936..006d8f5 100644
--- a/plugins/org.eclipse.jem.util/jemutil/org/eclipse/jem/util/emf/workbench/ResourceSetWorkbenchSynchronizer.java
+++ b/plugins/org.eclipse.jem.util/jemutil/org/eclipse/jem/util/emf/workbench/ResourceSetWorkbenchSynchronizer.java
@@ -10,7 +10,7 @@
*******************************************************************************/
/*
* $$RCSfile: ResourceSetWorkbenchSynchronizer.java,v $$
- * $$Revision: 1.2 $$ $$Date: 2005/02/15 23:04:14 $$
+ * $$Revision: 1.3 $$ $$Date: 2006/05/11 17:42:38 $$
*/
package org.eclipse.jem.util.emf.workbench;
@@ -79,11 +79,12 @@
currentProjectDelta = null;
if ((currentEventType == IResourceChangeEvent.PRE_CLOSE || currentEventType == IResourceChangeEvent.PRE_DELETE)
&& event.getResource().equals(getProject())) {
- release();
notifyExtendersOfClose();
+ release();
}
}
+
protected void notifyExtendersIfNecessary() {
if (currentEventType != IResourceChangeEvent.POST_CHANGE || extenders == null || currentProjectDelta == null)
return;
