I don't think it throws UserNotDefinedException. I'd also be tempted to use getUserQuietly as if a coordinator has been deleted from Sakai there's no point in logging it all over the place.