docs: private static void doAppendEscapedIdentifier(Appendable sbuf, String value) throws SQLException {
      try {
        sbuf.append('"');
  
        for (int i = 0; i < value.length(); ++i) {
          char ch = value.charAt(i);
          if (ch == '\0') {
            throw new PSQLException(GT.tr("Zero bytes may not occur in identifiers."),
                PSQLState.INVALID_PARAMETER_VALUE);
          }
          if (ch == '"') {
            sbuf.append(ch);
          }
          sbuf.append(ch);
        }
  
        sbuf.append('"');
      } catch (IOException e) {
        throw new PSQLException(GT.tr("No IOException expected from StringBuffer or StringBuilder"),
            PSQLState.UNEXPECTED_ERROR, e);
      }
    }