code: public void writeExternal(java.io.ObjectOutput out)
          throws java.io.IOException
      {
          HashMap map = new HashMap(this);
          out.writeObject(map);
      }
docs: /* ------------------------------------------------------------