public void read(Reader rd, Document doc, int pos) throws IOException, BadLocationException {
if (Settings.debug) System.err.println("Delegating read from Reader");
delegate.read(rd, doc, pos);
}
public void read(InputStream is, Document doc, int pos) throws IOException, BadLocationException {
if (Settings.debug) System.err.println("Delegating read from InputStream");
delegate.read(is, doc, pos);
}