RandomAccessFile.ReadInt
valthe int to write to this file.
TypeReasonJava.IO.IOExceptionif an I/O error occurs while writing to this file.
Writes a big-endian 32-bit integer to this file, starting at the current file pointer.
[Android Documentation]