code: private void skipToEndOfLine() {
  		for (; this.pos < this.in.length(); this.pos++) {
  			char c = this.in.charAt(this.pos);
  			if (c == '\r' || c == '\n') {
  				this.pos++;
  				break;
  			}
  		}
  	}
docs: Advances the position until after the next newline character. If the line is
  terminated by "\r\n", the '\n' must be consumed as whitespace by the caller.