docs: 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();
      }