final RadioButton[] buttons = new RadioButton[matches.size()];
if (!matches.isEmpty()) {
for (int i = 0; i < matches.size(); i++) {
Match match = matches.get(i);
Tradable t2 = ask ? match.getBid() : match.getAsk();
Trader cpty = ask ? match.getBid().getBuyer() : match.getAsk().getSeller();
buttons[i] = new RadioButton("matches");
buttons[i].setValue(i == 0);
body.setWidget(i, 0, buttons[i]);
body.setWidget(i, 1, FormatUtil.formatPrice(t2.getPrice()));
body.setWidget(i, 2, FormatUtil.formatVolume(t2.getVolume()));
body.setText(i, 3, " by " + cpty.getName());
}
Button act = new Button(ask ? "Sell" : "Buy");
act.setFocus(true);
body.setWidget(matches.size()+1, 1, act);