copyValueOf()—for BiggerWhole.


public void
copyValueOf(BiggerWhole source) {

  super.copyValueOf(source);

  parameters.clear();
  
  Enumeration e = source.
    parameters.propertyNames();

  while (e.hasMoreElements())
  {
    String key =
       (String)e.nextElement();

    parameters.put(
      key,
      source.parameters.
        getProperty(key));
  }
}