2497   char hash_buf[40];

  2497   char hash_buf[40];

  2498 

  2498 

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

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

  2500   if (is_anonymous()) {

  2500   if (is_anonymous()) {

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

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

  2503     hash_len = (int)strlen(hash_buf);

  2503     hash_len = (int)strlen(hash_buf);

  2504   }

  2504   }

  2505 

  2505 

  2506   // Get the internal name as a c string

  2506   // Get the internal name as a c string

  2507   const char* src = (const char*) (name()->as_C_string());

  2507   const char* src = (const char*) (name()->as_C_string());