code: private static String getCaseDiffName(String idlName)
      {
          int idlLength = idlName.length();
          StringBuilder namebldr = new StringBuilder(idlName);
  
          for (int i = 0; i < idlLength; ++i)
          {
              char nextChar = namebldr.charAt(i);
              if (Character.isUpperCase(nextChar))
              {
                  namebldr.append('_');
                  namebldr.append(i);
              }
          }
  
          if (namebldr.length() == idlLength)
          {
              namebldr.append('_');
          }
  
          return namebldr.toString();
      }
docs: Returns a String with the 'mangling' required for idl names that differ
  only in case. <p>
  
  An '_' will be added, followed by an '_' separated list of all of the
  indexes to all uppercase letters in the name. <p>
  
  <ul>
  <li> foo -> foo_
  <li> CaseDiff -> CaseDiff_0_4
  </ul>
  
  @param idlName the idl name to be mangled.