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 be20c4d007b0e43adf23739a6154e5ed127b563c..6d893bd5c3f935033a95a9ddb9541f3a99511503 100644 --- a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java +++ b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java @@ -38,11 +38,9 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler { final IEventBRoot root = getSelection(); if (root != null) { if(prob_location.endsWith(".jar")) { - // TO DO: we can open directly the .bum or .buc files with ProB2; we need to get it from root - final File temp = createTempFile(); - final String tmp = temp.getAbsolutePath(); - ExportNewCoreHandler.exportToClassic(tmp, root); - runProB2(prob_location, tmp); + // 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); + runProB2(prob_location, root.getResource().getFullPath().toString()); } else { final File temp = createTempFile(); final String tmp = temp.getAbsolutePath();