// 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;
 }