code: protected static final String getBookmarkName(String name, Locale locale) {
  
          StringBuffer result = new StringBuffer(64);
          result.append('/');
          result.append(locale.toString());
          result.append('/');
          result.append(name);
          return result.toString();
      }
docs: Creates the bookmark name for a localized element to be used in the bookmark lookup table.<p>
  
  @param name the element name
  @param locale the element locale
  @return the bookmark name for a localized element