if (amie != null) {
if (!amie.isInterThread()) {
throw new InterpreterException(StdErrors.An_actor_can_not_kill_supervisor);
}
sema.kill(amie);
}
/*
* Correctif: rev6261 du 21/02/2011:
*
* Ne plus envoyer d'exception en cas où l'acteur serait déjà supprimé.