public HTMLEditorKit.ParserCallback getReader(int pos, int popDepth, int pushDepth, HTML.Tag insertTag)
public HTMLEditorKit.ParserCallback getReader(int pos)
  public HTMLEditorKit.ParserCallback getReader(int pos,                                                int popDepth,                                                int pushDepth,                                                HTML.Tag insertTag)  {    return new HTMLReader(pos, popDepth, pushDepth, insertTag);  }  