public int readInt() throws EOFException {
public int readInt() throws EOFException, IOException {
	public int readInt() throws EOFException {		try {			return (int) VariableByteCoding.decode(this);		} catch (ArrayIndexOutOfBoundsException e) {			throw new EOFException();		}	}