177178179180181182183184185186187
//Ok } try { received.readShort(); fail("Should throw exception"); } catch (MessageEOFException e) {