From a612c9af15e2dc8eed5fe2be8f2eadeba1b0aa93 Mon Sep 17 00:00:00 2001
From: Miki Rozloznik <mikulas.rozloznik@eccam.com>
Date: Fri, 6 Dec 2024 19:45:43 +0100
Subject: [PATCH] Fix

---
 compiler/core/src/zserio/tools/ExtensionManager.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/core/src/zserio/tools/ExtensionManager.java b/compiler/core/src/zserio/tools/ExtensionManager.java
index 9188cac25..6137576ba 100644
--- 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;