private File getAssignmentFilename(File dir, KadenzeAssignmentType a) { String myFile = dir + File.separator + KadenzeAssignment.getAssignmentLogfilename(a); return new File(myFile); }