}
  public void setServant(Servant a_servant)  {    if (a_servant != null && !(a_servant instanceof InvokeHandler) &&        !(a_servant instanceof DynamicImplementation)       )      throw new BAD_PARAM("Must be either InvokeHandler or " +                          "DynamicImplementation, but is " + a_servant                         );    servant = a_servant;  }