void BoxedShort::readObject (ObjectInputStream& in) { value = in.readShort(); }
ArrayMask::ArrayMask (ObjectInputStream& in) { _length = in.readShort(); _mask = new uint8[_length]; in.readBytes(_mask, _length); }