/**
* Subclassed to update the internal representation of the mask after the default read operation
* has completed.
*/
private void readObject(ObjectInputStream s) throws IOException, ClassNotFoundException {
s.defaultReadObject();
updateMaskIfNecessary();
}
// Serialization support: probably never be used but the transient
// things should be set correctly just in case:
private void readObject(ObjectInputStream in) throws IOException, ClassNotFoundException {
in.defaultReadObject();
init();
}