harness.fail("Unexpected IOException on read(buf, off, len)");
}
String bufstr = new String(buf);
harness.check(bufstr, "Ther", "read(buf, off, len)");
try { // 1.1 API does not correctly document this exception
sr.reset();
}
catch (IOException e) {
harness.fail("Unexpected IOException on reset()");
}
harness.check(true, "reset()");