diff --git a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java index 986212ee8a139e59d8a3f6832df16c01aa94398b..a2656d80bf3dcbe49dbcd5b16b8656c4185d529c 100644 --- a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java +++ b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java @@ -9,8 +9,7 @@ import org.eclipse.core.commands.AbstractHandler; import org.eclipse.core.commands.ExecutionEvent; import org.eclipse.core.commands.ExecutionException; import org.eclipse.core.commands.IHandler; -import org.eclipse.core.resources.IWorkspace; -import org.eclipse.core.resources.ResourcesPlugin; +//import org.eclipse.core.resources.ResourcesPlugin; import org.eclipse.core.runtime.Platform; import org.eclipse.core.runtime.preferences.InstanceScope; import org.eclipse.jface.viewers.ISelection; @@ -42,8 +41,8 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler { if(prob_location.endsWith(".jar")) { // we can open directly the .bum or .buc files with ProB2; we need to get it from root // we could also get a platform URI: URI fileURI = URI.createPlatformResourceURI(root.getResource().getFullPath().toString(), true); - String bum_buc_path = ResourcesPlugin.getWorkspace().getRoot().getLocation().toString() - + root.getResource().getFullPath().toString(); + String bum_buc_path = //ResourcesPlugin.getWorkspace().getRoot().getLocation().toString() + root.getResource().getFullPath().toString(); + root.getResource().getRawLocation().toString(); runProB2(prob_location, bum_buc_path); } else { final File temp = createTempFile();