for (final Patch k : result) {
final PatchSet.Id psId = k.getKey().getParentKey();
table.setText(0, col, String.valueOf(psId.get()));
fmt.setStyleName(0, col, Gerrit.RESOURCES.css().patchHistoryTablePatchSetHeader());
fmt.addStyleName(0, col, Gerrit.RESOURCES.css().dataCell());
fmt.addStyleName(0, col, Gerrit.RESOURCES.css().topMostCell());
installRadio(1, col, psId, screen.idSideA, 0);
installRadio(2, col, psId, screen.idSideB, 1);
fmt.setStyleName(3, col, Gerrit.RESOURCES.css().dataCell());