From 5cb591590717d05f866134b70d624a898f88f495 Mon Sep 17 00:00:00 2001
From: Marcel Kronfeld <makron@gmx.net>
Date: Fri, 17 Jul 2009 10:01:01 +0000
Subject: [PATCH] Bug in Java URL class

---
 src/eva2/tools/ReflectPackage.java | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/src/eva2/tools/ReflectPackage.java b/src/eva2/tools/ReflectPackage.java
index c06557c8..c626dd9e 100644
--- a/src/eva2/tools/ReflectPackage.java
+++ b/src/eva2/tools/ReflectPackage.java
@@ -5,6 +5,7 @@ import java.io.FileInputStream;
 import java.io.IOException;
 import java.io.InputStream;
 import java.lang.management.ManagementFactory;
+import java.net.URISyntaxException;
 import java.net.URL;
 import java.util.ArrayList;
 import java.util.Arrays;
@@ -281,7 +282,15 @@ public class ReflectPackage {
 		String[] cpEntries = getClassPathElements();
 		URL url = ClassLoader.getSystemResource(res);
 		if (TRACE) System.out.println(res + ((url == null) ? " not" : " was") + " found by classloader.");
-		if (url != null) return url.getFile();
+		if (url != null) {
+			File f;
+			try {
+			  f = new File(url.toURI());
+			} catch(URISyntaxException e) {
+			  f = new File(url.getPath());
+			}
+			return f.getPath();
+		}
 		
 		File f;
 		String fNameSep;