- if (buflen == MAXBUF) {
- char[] buf2 = new char[MAXBUF*2];
- System.arraycopy(buf, 0, buf2, 0, buflen);
- buf = buf2;
- MAXBUF *= 2;
- }
+ if (buflen == MAXBUF) {
+ char[] buf2 = new char[MAXBUF*2];
+ System.arraycopy(buf, 0, buf2, 0, buflen);
+ buf = buf2;
+ MAXBUF *= 2;
+ }