ParserCallback pc = ((HTMLDocument) doc).getReader (offset, popDepth, pushDepth, insertTag);
ParserCallback pc = doc.getReader(offset, popDepth, pushDepth, insertTag);
  public void insertHTML(HTMLDocument doc, int offset, String html,                         int popDepth, int pushDepth, HTML.Tag insertTag)      throws BadLocationException, IOException  {    Parser parser = getParser();    if (offset < 0 || offset > doc.getLength())      throw new BadLocationException("Bad location", offset);    if (parser == null)      throw new IOException("Parser is null.");    ParserCallback pc = ((HTMLDocument) doc).getReader                          (offset, popDepth, pushDepth, insertTag);    // FIXME: What should ignoreCharSet be set to?        // parser.parse inserts html into the buffer    parser.parse(new StringReader(html), pc, false);    pc.flush();  }