193194195196197198199200201202203
protected char nextNonWhiteChar(Reader reader) throws IOException { int c = -1; while (true) { c = reader.read(); if (c < 0) { throw new IsoTextCodingException(); } if (!Character.isWhitespace(c)) { break; } }