ToolStrip toolStrip = new ToolStrip();
final Label label = new Label("Filter: ");
label.getElement().setAttribute("style", "padding-top:8px;");
toolStrip.addToolWidgetRight(label);
toolStrip.addToolWidgetRight(filter);
layout.add(toolStrip.asWidget());
layout.add(propertyTable);
DefaultPager pager = new DefaultPager();
pager.setDisplay(propertyTable);