throws BadLocationException, IOException, NotImplementedException
throws BadLocationException, IOException
  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");  }