// 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();
}
/** Restores a serialized object. */
private void readObject(ObjectInputStream s) throws ClassNotFoundException, IOException {
s.defaultReadObject();
valueDrawer = defaultValueDrawer;
}
