docs: private IOException syntaxError(String message) throws IOException {
      throw new MalformedJsonException(message
          + " at line " + getLineNumber() + " column " + getColumnNumber() + " path " + getPath());
    }