I think this should be throwing ActorKilledException, because otherwise default supervision will restart it and same thing will most likely happen again, or have I missed anything?