diff --git a/org.framed.iorm.ui/src/org/framed/iorm/ui/subeditors/FRaMEDFeatureEditor.java b/org.framed.iorm.ui/src/org/framed/iorm/ui/subeditors/FRaMEDFeatureEditor.java index 9d187f29210406abbd8ff6dd3ad3e235ffcf2820..a6cc6fcea8a7dae65d75d5bb11ccd759d2437ea3 100644 --- a/org.framed.iorm.ui/src/org/framed/iorm/ui/subeditors/FRaMEDFeatureEditor.java +++ b/org.framed.iorm.ui/src/org/framed/iorm/ui/subeditors/FRaMEDFeatureEditor.java @@ -2,6 +2,7 @@ package org.framed.iorm.ui.subeditors; import java.io.File; import java.io.IOException; +import java.net.URI; import java.net.URISyntaxException; import java.net.URL; import java.util.HashMap; @@ -160,7 +161,7 @@ public class FRaMEDFeatureEditor extends EditorPart { private IFeatureModel readFeatureModel() { File featureModelFile = null; try { - featureModelFile = new File(FileLocator.resolve(URL_TO_FEATUREMODEL).toURI()); + featureModelFile = new File(resolveURL(FileLocator.resolve(URL_TO_FEATUREMODEL))); } catch (URISyntaxException | IOException e) { e.printStackTrace(); } FeatureModelManager featureModelManager = FeatureModelManager.getInstance(featureModelFile.toPath()); if(featureModelManager.getLastProblems().containsError()) { @@ -185,6 +186,10 @@ public class FRaMEDFeatureEditor extends EditorPart { } } + private static URI resolveURL(URL url) throws URISyntaxException { + return new URI(url.getProtocol(), url.getPath(), null); + } + //tree related operation //~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /**