docs: private static String convertSpecialCharacters(StringBuilder idlName)
      {
          for (int i = 0; i < idlName.length(); ++i)
          {
              char c = idlName.charAt(i);
  
              if (c == '$' || c > 255)
              {
                  idlName.replace(i, i + 1, "U");
  
                  String hex = Integer.toHexString(c).toUpperCase();
                  int numHex = hex.length();
                  int numZero = 4 - numHex;
  
                  while (numZero > 0)
                  {
                      idlName.insert(++i, '0');
                      --numZero;
                  }
  
                  idlName.insert(i + 1, hex);
                  i += numHex;
              }
          }
  
          if (idlName.charAt(0) == '_')
          {
              idlName.insert(0, 'J');
          }
  
          return idlName.toString();
      }