textArea.repaint();
textArea.setCaretPosition(textArea.getText().length()-1);
duration = Calendar.getInstance().getTimeInMillis();
try {
Verifier verifier = new Verifier(temporaryDirectory, destinationFile.getName());
verifier.start();
while (verifier.isExecuting()) {
Thread.sleep(250);
progressBarVerifier.setValue(verifier.getPercentage());
}
if (verifier.getExitValue() != 0) {