2396   int hash_len = 0;

  2396   int hash_len = 0;

  2397   char hash_buf[40];

  2397   char hash_buf[40];

  2398 

  2398 

  2399   // If this is an anonymous class, append a hash to make the name unique

  2399   // If this is an anonymous class, append a hash to make the name unique

  2400   if (is_anonymous()) {

  2400   if (is_anonymous()) {

  2402     intptr_t hash = (java_mirror() != NULL) ? java_mirror()->identity_hash() : 0;

  2401     intptr_t hash = (java_mirror() != NULL) ? java_mirror()->identity_hash() : 0;

  2403     sprintf(hash_buf, "/" UINTX_FORMAT, (uintx)hash);

  2402     sprintf(hash_buf, "/" UINTX_FORMAT, (uintx)hash);

  2404     hash_len = (int)strlen(hash_buf);

  2403     hash_len = (int)strlen(hash_buf);

  2405   }

  2404   }

  2406 

  2405