out.write(doc.getText(pos, len));
HTMLWriter writer = new HTMLWriter(out, (HTMLDocument) doc, pos, len); writer.write(); } else if (doc instanceof StyledDocument) { MinimalHTMLWriter writer = new MinimalHTMLWriter(out, (StyledDocument) doc, pos, len); writer.write();
  public void write(Writer out, Document doc, int pos, int len)      throws IOException, BadLocationException  {    if (doc instanceof HTMLDocument)      {        // FIXME: Not implemented. Use HTMLWriter.        out.write(doc.getText(pos, len));      }    else      super.write(out, doc, pos, len);  }