Reads an integer from this file.
public int readInt()
Returns an integer from this file.
Overrides DataStream.readInt
See Also IDataStream.readInt