public final int readInt() throws java.io.IOException {
  readFully(scratch,0,4);
  return (((scratch[0] & 0xff) << 24) | ((scratch[1] & 0xff) << 16) | ((scratch[2] & 0xff) << 8)| ((scratch[3] & 0xff) << 0));
}

public final int readInt ( ) throws java . io . IOException { readFully ( scratch , 0 , 4 ) ; return ( ( ( scratch [ 0 ] & 0xff ) << 24 ) | ( ( scratch [ 1 ] & 0xff ) << 16 ) | ( ( scratch [ 2 ] & 0xff ) << 8 ) | ( ( scratch [ 3 ] & 0xff ) << 0 ) ) ; }
see the general contract of the readint method of datainput . bytes for this operation are read from the contained input stream .
