DataInput::readInt


try
{
myInt = dis.readInt()

} catch (EOFException e)
{
System.err.println("Unexpected end of file!");