如何用PushbackReader来实现重新读一串字符?

Question

如何用PushbackReader来实现重新读一串字符?
在网上找了好久,都只有重读一个字符的, 全部都是PushbackReader.unread(int); ,就是没有PushbackReader.unread(char[]);
按照API 说明来用,一直都得到错误: Buffer overload
我的程序很简单,只是读网页的时候如果读到了包含了字符”ABC”,那么就再读一遍这一部分看看是否真的是包含了”ABC”InputStreamReader isr = new InputStreamReader(url. openStream());
PushbackReader pr=new PushbackReader(isr);
BufferedReader in = new BufferedReader(pr);
while ((line = in.readLine()) != null) {
if (line.indexOf(“ABC”)>-1) { //果读到了字符”ABC”那么就再读一遍这一部分看看是否真的是包含了”ABC”
pr.unread(line.toCharArray());  //再读一遍这一部分
char[] tempChars=new char[line.length()];
pr.read(tempChars); // 把再读的内容存入 tempChars
//后面就是判断这次读入的还是不是了包含了ABC }
}以前没用过PushbackReader,请帮帮忙.
谢谢!