Java$readInt: Reads a Java formatted int (32 bits) from a connection
Description
Reads one or several Java formatted int's (32 bits) from a connection.
All data types in Java are signed, i.e. a byte can hold a value in
the range [-2147483648,2147483647].