layout.setStyleName("fill-layout-width");
layout.getElement().setAttribute("style", "padding:15px;");
layout.add(new ContentHeaderLabel("Effective ports on server: "+server.getName()));
SocketTable socketTable = new SocketTable(server.getPortOffset());
DefaultCellTable tableWidget = socketTable.asWidget();
ScrollPanel scroll = new ScrollPanel(tableWidget);
layout.add(scroll);
socketTable.updateFrom("none", socketBindings);
DefaultPager pager = new DefaultPager();
pager.setDisplay(tableWidget);
layout.add(pager);