if (!error && checkBoxIrrelevantVocabulary.isSelected()){
abstractExecutableFile = new IrrelevantVocabularyDetector(temporaryDirectory, destinationFile.getName());
error = check("[Voc] ", abstractExecutableFile, 50);
}
if (!error && checkBoxTrivialProofs.isSelected()){
abstractExecutableFile = new TrivialProofsDetector(temporaryDirectory, destinationFile.getName());
error = check("[TriPro] ", abstractExecutableFile, 50);
}
textArea.append("\n");
textArea.repaint();