558     }

   558     }

   559 

   559 

   560     /**

   560     /**

   561      * Reads serializable fields from stream.

   561      * Reads serializable fields from stream.

   562      */

   562      */

   563     private void readObject(ObjectInputStream s)

   564     private void readObject(ObjectInputStream s)

   564         throws ClassNotFoundException, IOException

   565         throws ClassNotFoundException, IOException

   565     {

   566     {

   566         ObjectInputStream.GetField f = s.readFields();

   567         ObjectInputStream.GetField f = s.readFields();

   567 

   568