+ int progress = (succeeded + failed + fatal) * 100 / total;
+ StringBuilder progressString = new StringBuilder();
+ progressString.append(progress).append("% (");
+ progressString.append(succeeded + failed + fatal).append("/").append(total);
+ progressString.append(")");
+ progressBar.setString(progressString.toString());
+ if (finalized) {
+ progressBar.setFont(progressBar.getFont().deriveFont(Font.BOLD));
+ }