165166167168169170171172173174175
while (Character.isWhitespace((ch = tempReader.read()))) { } if (ch >= 0) tempReader.unread(); reader = tempReader; is = new InputSource(reader); }