code: private void writeObject(java.io.ObjectOutputStream out)
                      throws IOException
      {
          out.defaultWriteObject();
          // write out the header information
          out.write(eyecatcher);
          out.writeShort(platform);
          out.writeShort(versionID);
  
          // write out the instance data
          out.writeObject(finderEnumerator);
  
      }
docs: object.