void updateTransactionCounters(int nofAborts, int nofTransactions)
  {
    nofAbortsLabel.setText("# of aborts so far: " + nofAborts);
    nofCommitsLabel.setText("# of commits so far: " + (nofTransactions - nofAborts));
  }