yes.getElement().setId(asId(PREFIX, getClass(), "_Yes"));
yes.addStyleName("patch-radio");
yes.setValue(true);
RadioButton no = new RadioButton("stop_servers", Console.CONSTANTS.patch_manager_stop_server_no());
no.getElement().setId(asId(PREFIX, getClass(), "_No"));
no.addStyleName("patch-radio");
body.add(yes);
body.add(no);
return body;
}