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);     parser.parse(new StringReader(html), pc, false); pc.flush();
  public void insertHTML(HTMLDocument doc, int offset, String html,                         int popDepth, int pushDepth, HTML.Tag insertTag)      throws BadLocationException, IOException  {    // FIXME: Not implemented.  }