if (!error && checkBoxIrrelevantPremises.isSelected()){
abstractExecutableFile = new IrrelevantPremisesDetector(temporaryDirectory, destinationFile.getName());
error = check("[Prem] ", abstractExecutableFile, 250);
}
if (!error && checkBoxIrrelevantTheoremsSchemes.isSelected()){
abstractExecutableFile = new IrrelevantTheoremsSchemesDetector(temporaryDirectory, destinationFile.getName());
error = check("[ThSch] ", abstractExecutableFile, 50);
}
if (!error && checkBoxIrrelevantVocabulary.isSelected()){
abstractExecutableFile = new IrrelevantVocabularyDetector(temporaryDirectory, destinationFile.getName());
error = check("[Voc] ", abstractExecutableFile, 50);