From 2683b1c6a2effff9cb58efb9da3ac289d26d0b93 Mon Sep 17 00:00:00 2001
From: Miki Rozloznik <mikulas.rozloznik@eccam.com>
Date: Fri, 6 Dec 2024 16:38:18 +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 52b37ede6..20d550a68 100644
--- a/compiler/core/src/zserio/tools/ExtensionManager.java
+++ b/compiler/core/src/zserio/tools/ExtensionManager.java
@@ -122,12 +122,12 @@ private ClassLoader getClassLoader()
             {
                 if (isFileZserioExtension(file))
                 {
-                    urlArray.add(new URL("file:" + file.getPath()));
+                    urlArray.add(new URI("file:" + file.getPath()).toURL());
                     urlArray.addAll(getDependentJarsFromManifest(file));
                 }
             }
         }
-        catch (MalformedURLException excpt)
+        catch (MalformedURLException | URISyntaxException excpt)
         {
             return currentClassLoader;
         }