--- a/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotResolvedObjectType.java	Tue Feb 19 19:56:44 2013 -0800
+++ b/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotResolvedObjectType.java	Wed Feb 20 08:58:29 2013 +0100
@@ -500,14 +500,13 @@
     }
 
     @Override
-    public String getClassFilePath() {
+    public URL getClassFilePath() {
         Class<?> cls = mirror();
         String name = cls.getName();
         int dot = name.lastIndexOf('.');
         if (dot != -1) {
             name = name.substring(dot + 1);
         }
-        URL classFilePath = cls.getResource(name + ".class");
-        return classFilePath == null ? null : classFilePath.getPath();
+        return cls.getResource(name + ".class");
     }
 }