} catch (NoSuchMethodException e) {
      return false;
    }
  }

  abstract static class Chopper {

    final Chopper or(Chopper you) {
      Chopper i = this;
      return new Chopper() {
        @Override
        @Nullable String chop(String str) {
          String result = i.chop(str);
          return result != null ? result : you.chop(str);

    } catch (NoSuchMethodException e) {
      return false;
    }
  }

  abstract static class Chopper {

    final Chopper or(Chopper you) {
      Chopper i = this;
      return new Chopper() {
        @Override
        @Nullable String chop(String str) {
          String result = i.chop(str);
          return result != null ? result : you.chop(str);

errors.docid_not_found = ID de document non trouvé. Cause : {0}
errors.document_not_found = L'URL de l'ID de document est introuvable. Cause : {0}
errors.not_load_from_server = Impossible de charger depuis ce serveur. Cause : {0}
errors.failed_to_start_job = Échec du démarrage d'une tâche : {0}.
errors.failed_to_stop_job = Échec de l'arrêt d'une tâche : {0}.

labels.index_sort=Trier
labels.index_num=Nombre d'affichages
labels.logout_title=Déconnexion
labels.logout=Déconnexion
labels.do_you_want_to_logout=Voulez-vous vous déconnecter ?
labels.logout_button=Déconnexion
labels.profile=Changer le mot de passe
labels.administration=Administration
labels.profile_button=Paramètres
labels.profile.title=Paramètres
labels.profile.update=Mettre à jour
labels.profile.back=Retour