Added fix for toURI issue from previous commit.

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
 	//~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 	/**