docs: public char next() throws JSONException {
  		int c;
  		if (this.usePrevious) {
  			this.usePrevious = false;
  			c = this.previous;
  		} else {
  			try {
  				c = this.reader.read();
  			} catch (IOException exception) {
  				throw new JSONException(exception);
  			}
  
  			if (c <= 0) { // End of stream
  				this.eof = true;
  				c = 0;
  			}
  		}
  		this.index += 1;
  		if (this.previous == '\r') {
  			this.line += 1;
  			this.character = c == '\n' ? 0 : 1;
  		} else if (c == '\n') {
  			this.line += 1;
  			this.character = 0;
  		} else {
  			this.character += 1;
  		}
  		this.previous = (char) c;
  		return this.previous;
  	}