Patch for http://code.google.com/p/windowtester/issues/detail?id=5 fr…

…om [email protected]

git-svn-id: http://windowtester.googlecode.com/svn/trunk@13 dfedb853-a37c-be70-40fe-a5a6558f63ed

com.windowtester.eclipse.ui/src/com/windowtester/eclipse/ui/session/SessionMonitor.java

@@ -10,12 +10,15 @@
  *******************************************************************************/
 package com.windowtester.eclipse.ui.session;
 
-import java.util.ArrayList;
-import java.util.List;
-
-import com.windowtester.codegen.ExecutionProfile;
-import com.windowtester.recorder.ISemanticEventProvider;
-import com.windowtester.ui.internal.core.recorder.NullRecorder;
+import java.util.ArrayList;
+import java.util.List;
+
+import org.eclipse.core.runtime.SafeRunner;
+import org.eclipse.jface.util.SafeRunnable;
+
+import com.windowtester.codegen.ExecutionProfile;
+import com.windowtester.recorder.ISemanticEventProvider;
+import com.windowtester.ui.internal.core.recorder.NullRecorder;
 
 public class SessionMonitor implements ISessionMonitor {
 
@@ -40,9 +43,13 @@ public boolean inSession() {
 		return getCurrent() != nullSession();
 	}
 
-	public void sessionEnded(ISession session) {
-		for (ISessionListener listener: getListeners()) {
-			listener.ended(session);
+	public void sessionEnded(final ISession session) {
+		for (final ISessionListener listener: getListeners()) {
+			SafeRunner.run(new SafeRunnable() {
+				public void run() throws Exception {
+					listener.ended(session);
+				}
+			});
 		}
 		setSession(nullSession());
 	}