millerHeader.getElement().addClassName("server-picker-table-header");
millerHeader.getElement().getParentElement().setAttribute("style", "vertical-align:bottom");
HorizontalPanel millerPanel = new HorizontalPanel();
millerPanel.setStyleName("fill-layout");
millerPanel.addStyleName("server-picker-table");
hostPager = new DefaultPager();
hostPager.setDisplay(hostList);
FlowPanel lhs = new FlowPanel();