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