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