* @param uri The document URI, or null.
*/
public Scanner(Reader r, String uri) throws ParseException {
try {
this.uri = (uri == null) ? "" : uri;
inputBuffer = new InputBuffer(r);
inputBuffer.setMark();
} catch (IOException e) {
throw new ParseException(e);
}
}