Program: 189419
Project: 189419
Buggy source:
/** 
 * Generate Persons, Colleges, Departments, Majors, Degrees, Document Types and Graduation Months. 
 */
@Override public void doJob(){
  try {
    PersonRepository personRepo=Spring.getBeanOfType(PersonRepository.class);
    SettingsRepository settingsRepo=Spring.getBeanOfType(SettingsRepository.class);
    for (    PersonsArray personDefinition : PERSONS_DEFINITIONS) {
      personRepo.createPerson(personDefinition.netId,personDefinition.email,personDefinition.firstName,personDefinition.lastName,personDefinition.role).save();
    }
    for (    String collegeDefinition : COLLEGES_DEFINITIONS) {
      settingsRepo.createCollege(collegeDefinition).save();
    }
    for (    String departmentDefinition : DEPARTMENTS_DEFINITIONS) {
      settingsRepo.createDepartment(departmentDefinition).save();
    }
    for (    String majorDefinition : MAJORS_DEFINITIONS) {
      settingsRepo.createMajor(majorDefinition).save();
    }
    for (    DegreeLevelArray degreeDefinition : DEGREES_DEFINITIONS) {
      settingsRepo.createDegree(degreeDefinition.name,degreeDefinition.degreeLevel).save();
    }
    for (    DegreeLevelArray docTypeDefinition : DOCTYPES_DEFINITIONS) {
      settingsRepo.createDocumentType(docTypeDefinition.name,docTypeDefinition.degreeLevel).save();
    }
    for (    int gradMonthDefinition : GRAD_MONTHS_DEFINITIONS) {
      settingsRepo.createGraduationMonth(gradMonthDefinition).save();
    }
    JPA.em().flush();
  }
 catch (  Exception e) {
    Logger.error(e,"String_Node_Str");
  }
}

Fixed version (ground truth):
/** 
 * Generate Persons, Colleges, Departments, Majors, Degrees, Document Types and Graduation Months. 
 */
@Override public void doJob(){
  try {
    SecurityContext context=Spring.getBeanOfType(SecurityContext.class);
    PersonRepository personRepo=Spring.getBeanOfType(PersonRepository.class);
    SettingsRepository settingsRepo=Spring.getBeanOfType(SettingsRepository.class);
    context.turnOffAuthorization();
    try {
      for (      PersonsArray personDefinition : PERSONS_DEFINITIONS) {
        personRepo.createPerson(personDefinition.netId,personDefinition.email,personDefinition.firstName,personDefinition.lastName,personDefinition.role).save();
      }
      for (      String collegeDefinition : COLLEGES_DEFINITIONS) {
        settingsRepo.createCollege(collegeDefinition).save();
      }
      for (      String departmentDefinition : DEPARTMENTS_DEFINITIONS) {
        settingsRepo.createDepartment(departmentDefinition).save();
      }
      for (      String majorDefinition : MAJORS_DEFINITIONS) {
        settingsRepo.createMajor(majorDefinition).save();
      }
      for (      DegreeLevelArray degreeDefinition : DEGREES_DEFINITIONS) {
        settingsRepo.createDegree(degreeDefinition.name,degreeDefinition.degreeLevel).save();
      }
      for (      DegreeLevelArray docTypeDefinition : DOCTYPES_DEFINITIONS) {
        settingsRepo.createDocumentType(docTypeDefinition.name,docTypeDefinition.degreeLevel).save();
      }
      for (      int gradMonthDefinition : GRAD_MONTHS_DEFINITIONS) {
        settingsRepo.createGraduationMonth(gradMonthDefinition).save();
      }
      JPA.em().flush();
    }
  finally {
      context.restoreAuthorization();
    }
  }
 catch (  Exception e) {
    Logger.error(e,"String_Node_Str");
  }
}