Fix

ndsev · Dec 6, 2024 · a612c9a · a612c9a
1 parent 542bb71
commit a612c9a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/compiler/core/src/zserio/tools/ExtensionManager.java b/compiler/core/src/zserio/tools/ExtensionManager.java
@@ -123,12 +123,12 @@ private ClassLoader getClassLoader()
                 System.out.println("Found file: " + file);
                 if (isFileZserioExtension(file))
                 {
-                    urlArray.add(new URI("jar:file:" + file.getPath() + "!/").toURL());
+                    urlArray.add(new URL("jar:file:" + file.getPath() + "!/"));
                     urlArray.addAll(getDependentJarsFromManifest(file));
                 }
             }
         }
-        catch (MalformedURLException | URISyntaxException excpt)
+        catch (MalformedURLException excpt)
         {
             System.out.println("Exception!");
             return currentClassLoader;