public LearnerEvaluationConfiguration(Configuration defaultCnf) {
// Mostly rely on defaults above.
if (defaultCnf == null)
config =
Configuration.getDefaultConfiguration()
.copy(); // making a clone is important because the configuration may later be
// modified and we do not wish to mess up the default one.
else config = defaultCnf.copy();
}
