@Override
 public String getZipDirectoryNameForAssignment() {
   return parentDir
       + File.separator
       + "assignment"
       + KadenzeAssignment.getAssignmentNumber(currentAssignmentType);
 }
 private String getAssignmentDirectory(String parent, KadenzeAssignmentType a) {
   return parent + File.separator + KadenzeAssignment.getLogDirectory(a) + File.separator;
 }
 private File getAssignmentFilename(File dir, KadenzeAssignmentType a) {
   String myFile = dir + File.separator + KadenzeAssignment.getAssignmentLogfilename(a);
   return new File(myFile);
 }