See the general contract of the <code>readInt</code>
method of <code>DataInput</code>.
<p>
Bytes
for this operation are read from the contained
input stream.
@return the next four bytes of this input stream, interpreted as an
<code>int</code>.
@exception EOFException if this input stream reaches the end before
reading four bytes.
@exception IOException the stream has been closed and the contained
input stream does not support reading after close, or
another I/O error occurs.
@see java.io.FilterInputStream#inputStream
See the general contract of the <code>readInt</code> method of <code>DataInput</code>. <p> Bytes for this operation are read from the contained input stream.
@return the next four bytes of this input stream, interpreted as an <code>int</code>. @exception EOFException if this input stream reaches the end before reading four bytes. @exception IOException the stream has been closed and the contained input stream does not support reading after close, or another I/O error occurs. @see java.io.FilterInputStream#inputStream