stack.add(domainNavigation);
domainNavigation.getElement().getParentElement().setAttribute("style", "border-bottom: 1px solid #BEBEBE;");
// ----------------------------------------------------
serverPicker = new ServerPicker();
stack.add(serverPicker.asWidget());
// ----------------------------------------------------
navigation = new LHSNavTree("domain-runtime");