public final void setAgentIdentificationService(AgentIdentificationService ais) {
   if (ais == null) {
     // Revocation
   } else {
     this.agentId = ais.getMessageAddress();
   }
 }
 public void setAgentIdentificationService(AgentIdentificationService s) {
   _ais = s;
   _ma = s != null ? s.getMessageAddress() : null;
 }