protected IsWidget body(final C context) {
FlowPanel body = new FlowPanel();
errorText = new Label();
body.add(errorText);
errorDetails = new ErrorDetails(Console.CONSTANTS.patch_manager_show_details(),
Console.CONSTANTS.patch_manager_hide_details());
body.add(errorDetails);
body.add(new HTML("<h3 class=\"patch-followup-header\">" + Console.CONSTANTS.patch_manager_possible_actions() + "</h3>"));
HTMLPanel actions = new HTMLPanel(ACTIONS_TEMPLATE