Replace deprecated org.eclipse.core.runtime.Platform.Run with org.eclipse.core.runtim...

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / core / JavaModelManager.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/JavaModelManager.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/JavaModelManager.java
index a131065..d2ffed9 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/JavaModelManager.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/JavaModelManager.java
@@ -71,6 +71,7 @@ import org.eclipse.core.runtime.Path;
 import org.eclipse.core.runtime.Platform;
 import org.eclipse.core.runtime.Plugin;
 import org.eclipse.core.runtime.Preferences;
+import org.eclipse.core.runtime.SafeRunner;
 import org.eclipse.core.runtime.Status;
 import org.eclipse.core.runtime.Preferences.PropertyChangeEvent;
 
@@ -1190,7 +1191,8 @@ public class JavaModelManager implements ISaveParticipant {
                                }
                                // wrap callbacks with Safe runnable for subsequent listeners to
                                // be called when some are causing grief
-                               Platform.run(new ISafeRunnable() {
+                               
+                               SafeRunner.run(new ISafeRunnable() {
                                        public void handleException(Throwable exception) {
                                                Util
                                                                .log(exception,