totalTimeText.pack();
  public void setTotalTime(int totalTimeInSeconds) {    // Don't do any work if the total time hasn't changed.    if(currentTotalTime != totalTimeInSeconds) {      progressBar.setMaximum(totalTimeInSeconds);       totalTimeText.setText(formatTimeToString(totalTimeInSeconds));    }  }