public void logAll() {
   Logger.getLogger(getClass()).info("---complete repository statistics---");
   for (LearningEvaluator eval : repository_map.keySet()) {
     eval.logStatistics(repository_map.get(eval));
   }
 }
 public AnnotationDiffer getOveralResults(LearningEvaluator e, DiffCondition diffCondition) {
   return e.countOverallDiffer(repository_map.get(e), diffCondition);
 }