if (!error && checkBoxIrrelevantIterativeSteps.isSelected()){
abstractExecutableFile = new IrrelevantIterativeStepsDetector(temporaryDirectory, destinationFile.getName());
error = check("[Iter] ", abstractExecutableFile, 250);
}
if (!error && checkBoxIrrelevantLabel.isSelected()){
abstractExecutableFile = new IrrelevantLabelDetector(temporaryDirectory, destinationFile.getName());
error = check("[Label] ", abstractExecutableFile, 50);
}
if (!error && checkBoxIrrelevantPremises.isSelected()){
abstractExecutableFile = new IrrelevantPremisesDetector(temporaryDirectory, destinationFile.getName());
error = check("[Prem] ", abstractExecutableFile, 250);