627     /**

   627     /**

   628      * writeObject is called to save the state of the {@code SerialArray}

   628      * writeObject is called to save the state of the {@code SerialArray}

   629      * to a stream.

   629      * to a stream.

   630      */

   630      */

   631     private void writeObject(ObjectOutputStream s)

   631     private void writeObject(ObjectOutputStream s)

   633 

   633 

   634         ObjectOutputStream.PutField fields = s.putFields();

   634         ObjectOutputStream.PutField fields = s.putFields();

   635         fields.put("elements", elements);

   635         fields.put("elements", elements);

   636         fields.put("len", len);

   636         fields.put("len", len);

   637         fields.put("baseType", baseType);

   637         fields.put("baseType", baseType);