out.writeObject(name.getEncoded());
if (encoded != null) encodeDer(); out.writeObject (encoded);
  private void writeObject(ObjectOutputStream out) throws IOException  {    out.writeObject(name.getEncoded());  }