};
}
public void actionPerformed(ActionEvent e) {
TPS t = txnmgr.getTPS();
tps.setText (Integer.toString (t.intValue()));
tpsAvg.setText (String.format ("%.2f", t.getAvg()));
tpsPeak.setText (Integer.toString (t.getPeak()));
}
public void ancestorAdded(AncestorEvent event) {