code: private char rdCh()
  	{
  		char c = super.readCh();
  
  		if (c == '\n')
  		{
  			linecount++;
  			charpos = 0;
  		} else if (c == '\t')
  		{
  			charpos += Properties.parser_tabstop - charpos
  					% Properties.parser_tabstop;
  		} else if (c != (char) -1)
  		{
  			charpos++;
  		}
  
  		ch = c;
  		charsread++;
  		offset = getCurrentRawReadOffset();
  
  		// if(ch == '\r')
  		// {
  		// ch = rdCh();
  		// }else
  		// {
  		// ch = c;
  		// }
  		return ch;
  	}
docs: Read the next character from the stream. The position details are updated, accounting for newlines and tab stops.
  The next character is set in the "ch" field, as well as being returned for convenience.
  
  @return the next character.