{ return ((buffer[0] & 0xff) + (buffer[1] << 8) + (buffer[2] << 16) + (buffer[3] << 24)); }
return (int) (((int) (buffer[0] & 0xff) << 0) | ((int) (buffer[1] & 0xff) << 8) | ((int) (buffer[2] & 0xff) << 16) | ((int) (buffer[3] & 0xff) << 24));
  public int readInt()    throws IOException  {    int result = read(buffer, 0, 4);    if (result == -1)      throw new EOFException();        if (getByteOrder() == ByteOrder.LITTLE_ENDIAN)      {	return ((buffer[0] & 0xff)		+ (buffer[1] << 8)		+ (buffer[2] << 16)		+ (buffer[3] << 24));      }    return ((buffer[4] << 24)	    + (buffer[3] << 16)	    + (buffer[2] << 8)	    + (buffer[1] & 0xff));  }