reader.mark(len);
if (unicodeReader != null) unicodeReader.mark(len); else in.mark(len);
    void mark(int len)      throws IOException    {      //System.out.println("  mark:"+len);      markOffset = offset;      markLine = line;      markColumn = column;      reader.mark(len);    }