Java$readShort: Reads a Java formatted short (16 bits) from a connection
Description
Reads one or several Java formatted short's (16 bits) from a connection.
All data types in Java are signed, i.e. a byte can hold a value in
the range [-32768,32767].