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();