fix IncludeFinder after merge

Author: wadoon

key.core/src/main/java/de/uka/ilkd/key/nparser/builder/IncludeFinder.java

@@ -5,7 +5,6 @@
 
 import java.io.File;
 import java.net.MalformedURLException;
-import java.net.URI;
 import java.nio.file.Path;
 
 import de.uka.ilkd.key.nparser.KeYParser;
@@ -59,12 +58,8 @@ private void addInclude(String filename) throws MalformedURLException {
         // whatsoever
         filename = filename.replace('\\', File.separatorChar); // Special handling for Linux
         var path = base.resolve(filename).normalize();
-        String pathString = path.toString().replace(File.separatorChar, '/'); // URIs on Windows
 
-        if (!(pathString.startsWith("file:") || pathString.startsWith("jar:"))) {
-            pathString = "file:///" + pathString;
-        }
-        var url = URI.create(pathString).toURL();
+        var url = path.toUri().toURL();
         source = RuleSourceFactory.initRuleFile(url);
         if (ldt) {
             includes.putLDT(filename, source);

key.core/src/test/java/SchemaJavaRegressionTest.java

@@ -54,7 +54,7 @@ public class SchemaJavaRegressionTest {
         }
     }
 
-    @Test
+    //@Test
     void createOracle() throws IOException {
         var factory = YAMLFactory.builder()
                 .enable(YAMLGenerator.Feature.SPLIT_LINES)