public void write(Writer out, Document document, int offset, int len)
public void write(OutputStream out, Document document, int offset, int len)
  public void write(Writer out, Document document, int offset, int len)    throws BadLocationException, IOException    {    }