fix deprecation warning

wala · Dec 2, 2023 · 909211c · 909211c
1 parent a097bcd
commit 909211c
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/ide/src/main/java/com/ibm/wala/ide/util/EclipseFileProvider.java b/ide/src/main/java/com/ibm/wala/ide/util/EclipseFileProvider.java
@@ -20,6 +20,8 @@
 import java.io.IOException;
 import java.lang.reflect.Method;
 import java.net.MalformedURLException;
+import java.net.URI;
+import java.net.URISyntaxException;
 import java.net.URL;
 import java.util.jar.JarFile;
 import org.eclipse.core.runtime.FileLocator;
@@ -166,8 +168,8 @@ private static URL fixupFileURLSpaces(URL url) {
       lastIndex = spaceIndex + 1;
     }
     try {
-      return new URL(fixedUpUrl.toString());
-    } catch (MalformedURLException e) {
+      return (new URI(fixedUpUrl.toString())).toURL();
+    } catch (MalformedURLException | URISyntaxException e) {
       e.printStackTrace();
       Assertions.UNREACHABLE();
     }