public void write(Writer wr, Document doc, int pos, int length)
throws IOException, BadLocationException {
if (Settings.debug) System.err.println("Delegating write to Writer");
delegate.write(wr, doc, pos, length);
}
public void write(OutputStream os, Document doc, int pos, int length)
throws IOException, BadLocationException {
if (Settings.debug) System.err.println("Delegating write to OutputStream");
delegate.write(os, doc, pos, length);
}
