table.addColumn(option, Console.CONSTANTS.common_label_option());
VerticalPanel wrapper = new VerticalPanel();
wrapper.add(table);
wrapper.add(pager);
SimpleLayout overviewPanel = new SimpleLayout()
.setPlain(true)
.setHeadline("Patch Management")
.setDescription(Console.MESSAGES.pleaseChoseanItem())
.addContent(Console.MESSAGES.available("Groups"), wrapper);
VerticalPanel patchInfoWrapper = new VerticalPanel();
patchInfoWrapper.setStyleName("rhs-content-panel");
patchInfoWrapper.add(patchInfoPanel);
pagedView.addPage(Console.CONSTANTS.common_label_back(), overviewPanel.build());
pagedView.addPage("Patches", new ScrollPanel(patchInfoWrapper));
pagedView.showPage(0);
DefaultTabLayoutPanel tabLayoutPanel = new DefaultTabLayoutPanel(40, Style.Unit.PX);
tabLayoutPanel.addStyleName("default-tabpanel");