if (parser == null) throw new IllegalStateException("Parser has not been set");  System.out.println("setInnerHTML not implemented");
int start = elem.getStartOffset(); int end = elem.getEndOffset();  HTMLEditorKit.ParserCallback reader = getInsertingReader( end, 0, 0, HTML.Tag.BODY, elem);   getParser().parse(new StringReader(htmlText), reader, true);   remove(start, end - start);
  public void setInnerHTML(Element elem, String htmlText)     throws BadLocationException, IOException, NotImplementedException  {    if (elem.isLeaf())      throw new IllegalArgumentException("Element is a leaf");    if (parser == null)      throw new IllegalStateException("Parser has not been set");    // FIXME: Not implemented fully, use InsertHTML* in HTMLEditorKit?    System.out.println("setInnerHTML not implemented");  }