public void onTradeRecap( MamdaSubscription sub, MamdaTradeListener listener, MamaMsg msg, MamdaTradeRecap recap) { // Refresh the "display" of this contract. if (myView.isVisible(myContract)) { myDisplay.printContract(myContract); } }