578 

   578 

   579     /**

   579     /**

   580      * Serializes only the domain name string, for compactness and to avoid

   580      * Serializes only the domain name string, for compactness and to avoid

   581      * any implementation dependency.

   581      * any implementation dependency.

   582      *

   582      *

   584      */

   584      */

   585     private void writeObject(java.io.ObjectOutputStream s)

   585     private void writeObject(java.io.ObjectOutputStream s)

   586             throws java.io.IOException {

   586             throws java.io.IOException {

   587         s.writeObject(toString());

   587         s.writeObject(toString());

   588     }

   588     }