code: protected void readNoEnd() throws ParseException {
  		if (++pos >= len) {
  			this.c = EOI;
  			throw new ParseException(pos - 1, ERROR_UNEXPECTED_EOF, "EOF");
  		} else
  			this.c = (char) in[pos];
  	}
docs: read data can not be EOI