# HG changeset patch
# User Michael Haupt <michael.haupt@oracle.com>
# Date 1361286191 -3600
# Node ID 8959b331ef3e73144a0b48009fd4f7824f8a4058
# Parent  aa022eaf15692d78455583c001cf59086524aa13
corrected class file retrieval

diff -r aa022eaf1569 -r 8959b331ef3e graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotResolvedObjectType.java
--- a/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotResolvedObjectType.java	Tue Feb 19 11:21:03 2013 +0100
+++ b/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotResolvedObjectType.java	Tue Feb 19 16:03:11 2013 +0100
@@ -502,12 +502,12 @@
     @Override
     public String getClassFilePath() {
         Class<?> cls = mirror();
-        String classFileName = MetaUtil.getSimpleName(cls, false);
-        while (cls.isLocalClass() || cls.isMemberClass()) {
-            cls = cls.getEnclosingClass();
-            classFileName = new StringBuilder(MetaUtil.getSimpleName(cls, false)).append('$').append(classFileName).toString();
+        String name = cls.getName();
+        int dot = name.lastIndexOf('.');
+        if (dot != -1) {
+            name = name.substring(dot + 1);
         }
-        URL classFilePath = cls.getResource(classFileName + ".class");
+        URL classFilePath = cls.getResource(name + ".class");
         return classFilePath == null ? null : classFilePath.getPath();
     }
 }